Initiators
Prof. Dr. Heiko Mantel
TU Darmstadt
Prof. Dr. Dieter Hutter
DFKI GmbH Bremen
Prof. Dr. Günter Müller
University of Freiburg
Prof. Tobias Nipkow, Ph.D.
TU München
Prof. Dr. Gregor Snelting
Karlsruhe Institute of Technology
News
2012-Jan: Staff Meeting 2012 in Höchst i. Odw.
2011-Dec: Call for Proposals for Phase 2
2011-Nov: Topic Workshop "E-Voting and Information Flow"
2011-Nov: Exploring Assistant Positions
2011-Nov: Topic Workshop "Information Flow Control for Mobile Devices"
2011-Oct: Tutorial "Information Flow Security and Verification Tools"
