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
