Home
Lectures
Notes
 
Application Form



2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
 

With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.
Patrice Godefroid
Microsoft Research, Redmond
USA
Talk: Software Model Checking via Software Testing (abstract)
Orna Grumberg
TECHNION, Israel Institute of Technology
Israel
Talk: SAT-Based Model Checking: Interpolation, IC3 and Beyond (abstract)
Sumit Gulwani
Microsoft Research, Redmond
USA
Talk: Program Synthesis (abstract)
Gerwin Klein
The University of New South Wales, Sydney
Australia
Talk: Interactive Proof: Applications to Data Flow Analysis and Security (abstract)
Marta Kwiatkowska
Oxford University
United Kingdom
Talk: Probabilistic Model Checking for Biology (abstract)
Ralf Küsters
Universität Trier
Germany
Talk: E-Voting Systems (abstract)
Rupak Majumdar
Max Planck Institute for Software Systems, Kaiserslautern
Germany
Talk: Infinite State Model Checking (abstract)
Sharad Malik
Princeton University
USA
Talk: Boolean Satisfiability: Solvers and Extensions (abstract)
Material: material from 2011
Exercises: (exercise / solution)
Tobias Nipkow
Technische Universität München
Germany
Talk: Interactive Proof: Hands-on Introduction (abstract)
David Sands
Chalmers University of Technology, Gothenburg
Sweden
Talk: Software Security by Information Flow Control (abstract)
Helmut Seidl
Technische Universität München
Germany
Talk: A General Infra-structure for Interprocedural Analysis of Concurrent C (abstract)
Eran Yahav
The Technion, Israel Institute of Technology, Haifa
Israel
Talk: Practical Program Analysis and Synthesis (abstract)

Feel free to contact us via e-mail

Phone: +49 (0) 89 289 - 17829
Fax: +49 (0) 89 289 - 17824

 
Postal address:
K. Spies / Summer School
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
85748 Garching (München)
GERMANY

Impressum