Marktoberdorf
Home
Lectures
 

Deadline March 10, 2009

2003
2004
2005
2006
2007
2008
 

With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.

Prof. Dr. Patrick Cousot
Départment d'Informatique
École Normale Supérieure, Paris
France
Talk: Program Analysis and Verification by Abstract Interpretation (abstract/slides)
Prof. Dr. Javier Esparza
Institut für Informatik
TU München
Germany
Talk: Newtonian Program Analysis (abstract/slides)
Dr. Andrew Gordon
Microsoft Research
Cambridge
United Kingdom
Talk: Principles and Applications of Refinement Types (abstract/slides)
Prof. Dr. Orna Grumberg
Computer Science Department
TECHNION, Haifa
Israel
Talk: 3-Valued Abstraction-Refinement (abstract/slides)
Prof. Dr. Gerhard Jäger
Theoretical Computer Science and Logic
Universität Bern
Switzerland
Talk: Modal Fixed Point Logics (abstract/slides)
Prof. Dr. Antonin Kucera
Institut for Theoretical Computer Science
Masaryk University Brno
Czech Republic
Talk: Effective Analysis of Infinite-State Stochastic Processes and Games (abstract/slides)
Prof. Dr. Orna Kupferman
School of Computer Science and Engineering
Hebrew University, Jerusalem
Israel
Talk: Multi-valued Automata and their Applications (abstract/slides)
Prof. Dr. Xavier Leroy
INRIA Rocquencourt, Le Chesnay
France
Talk: Mechanized Semantics, with Applications to Program Proof and Compiler Verification (abstract/slides)
Prof. Dr. Andrew Myers
Department of Computer Science
Cornell University, Ithaca
USA
Talk: Using Security Policies to write Secure Software (abstract/slides)
Prof. Tobias Nipkow, Ph.D.
Institut für Informatik
TU München
Germany
Talk: Two Applications of Theorem Proving: Hotel Key Cards and Social Choice Theory (abstract/slides)
Prof. Dr. Luke Ong
Computing Laboratory
Oxford University
United Kingdom
Talk: Model Checking Higher-Order Computation (abstract/slides Part 1, Part 2 )
Prof. Dr. Andrei Sabelfeld
Department of Computer Science and Engineering
Chalmers University of Technology, Göteborg
Sweden
Talk: Language-based Control for Information Flow and Release (abstract/slides Part 1, Part 2, Part 3)
 

Feel free to contact us via e-mail

Phone: +49 (89) 289 - 17829
Fax: +49 (89) 289 - 17307

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

Impressum