Staff Meeting 2012 (January 16-18, 2012)
Overview
The staff meeting 2012 took place from January 16 to 18, 2012 at
Tagungshaus Kloster Höchst
Kirchberg 3
64739 Höchst im Odenwald
The schedule gives an overview of the meeting.
Participants
News
2013-Oct: Annual Meeting 2013 in Saarbrücken
2013-Sep: Tutorial 2013 in Höchst-Hassenroth
2013-Feb: Staff Meeting 2013 in Annweiler
2012-Oct: Annual Meeting 2012 in Munich
2012-Sep: Tutorial "Program Analysis and Verification"
2012-Aug: PhD position: Implementation-Level Analysis of E-Voting Systems
