Marktoberdorf
Home
Lectures
 

Deadline February 29, 2008
2003
2004
2005
2006
2007
 

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

Prof. Dr. Jean-Raymond Abrial
Department of Computer Science
ETH Zürich
Switzerland
Talk: Methods and Tools for System and Software Construction (abstract/slides)
Dr. Thomas Ball
Microsoft Research
Redmond
USA
Talk: Checking Safety Properties of Sequential Programs via Static Analysis (abstract/slides)
Prof. Dr. Gerard Berry
Esterel Technologies
Villeneuve-Loubet
France
Talk: Synchronous Techniques for Software and Hardware Embedded Systems (abstract/slides)
Prof. Dr. Manfred Broy
Institut für Informatik
Technische Universität München
Germany
Talk: Relating Time and Causality in Interactive Distributed Systems (abstract/slides)
Prof. Dr. Michael Butler
Dependable Systems&Software Engineering
University of Southampton
United Kingdom
Talk: Incremental Design of Distributed Systems (abstract/slides)
Dr. Byron Cook
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Proving Program Termination and Liveness (abstract)
Prof. Dr. David Harel
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
Israel
Talk: Visual Formalisms and Their Application to Biology
Prof. Dr. C.A.R. Hoare
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Separation Logic and Trace Semantics (abstract/slides)
Prof. Dr. Kim Larsen
Department of Computer Science
Aalborg University
Denmark
Talk: Verification, Performance Analysis, and Controller Synthesis for Real-Time Systems (abstract/slides)
Dr. Rustan Leino
Microsoft Research
Redmond
USA
Talk: Specification and Verification of Object-Oriented Software (abstract/slides)
Prof. Dr. J Strother Moore
Department of Computer Science
University of Texas at Austin
USA
Talk: Mechanized Operational Semantics (abstract/slides)
Prof. Dr. John Reynolds
Computer Science Department
Carnegie Mellon University
USA
Talk: Separation Logic - A Logic for Shared Data and Local Reasoning (abstract/slides)
Prof. Dr. Jim Woodcock
Department of Computer Science
University of York
United Kingdom
Talk: The Verified Software Repository (abstract/slides)
 
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