Home
Lectures
Author Hints
2003
2004
2006

With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.
Bruno Buchberger
Austria
Talk: Verified Algorithm Development with Theorema (pdf)
Bob Constable
USA
Talk: The Logical Basis of System Correctness (pdf)
Gilles Dowek
France
Talk: Deduction and Computation with Coq (pdf)
Javier Esparza
Germany
Talk: Analysis of Systems with Infinite State Spaces (pdf)
Orna Grumberg
Israel
Talk: Model Checking (pdf)
John Harrison
USA
Talk: Industrial-scale Theorem Proving(pdf)
Martin Hofmann
Germany
Talk: Certification of Quantitative Properties of Programs (pdf)
George Necula
USA
Talk: Proof-Carrying Code (pdf)
Tobias Nipkow
Germany
Talk: Machine-checked Models of Programming Languages (pdf)
Michael Rathjen
UK
Talk: Constrcutive Systems -- Models and Application (pdf)
Shmuel Sagiv
Israel
Talk: Decision Procedures for Linked Data Structures
Helmut Schwichtenberg
Germany
Talk: Safe Systems by Code Carrying Proofs (pdf)
Colin Stirling
UK
Talk: Language Theory and Infinite Graphs (pdf)
Moshe Vardi
USA
Talk: Games, Automata and Logic Based Systems Design (pdf)
Feel free to contact us via e-mail. 

Phone: +49 (89) 289 - 17829
Fax: +49 (89) 289 - 17824
 
 Postal address:
K. Spies / Summer School
Institut für Informatik
Technische Universität München
Boltzmannstr. 3
85748 Garching (München)
Impressum