Summer School
Marktoberdorf 2015
Verification and Synthesis of
Correct and Secure Systems
Correct and Secure Systems
|
Summer School Correct and Secure Systems |
|
|
Home Lectures Notes Application Form Deadline March 27, 2015 2003 2004 2005 2006 2007 2008 2009 2010 2011 2012 2013 2014 |
Thanks for your interest, but the application period in 2015 was closed with March 27, 2015. |
|
Feel free to contact us via e-mail.
Phone: +49 (0) 89 289 - 17829 |
|
Postal address: K. Spies / Summer School Institut für Informatik Technische Universität München Boltzmannstr. 3 85748 Garching (München) GERMANY |