15th International KeY Symposium

Jul 25, 2016 8:00 AM
Manigod, France

I organized the 15th KeY Symposium in Manigod, France. This included communication with participants (emails, website), assembling the program, and organizational issues regarding the venue (rooms, catering).

Dominic Steinhöfel
Dominic Steinhöfel
Postdoctoral Researcher in Computer Science

I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.