15th International KeY Symposium
Date
Jul 25, 2016 8:00 AM
Location
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
Postdoctoral Researcher in Computer Science
I’m a PostDoc @ CISPA (Saarbrücken, Germany). My research interests center around program verification.