Home
Lectures
 

Deadline February 28, 2006

2003
2004
2005

With a click on the button above, your browser will establish a connection to Facebook. See the Impressum for more information.
Prof. Dr. Rajeev Alur
Department of Computer and Information Science
University of Pennsylvania
USA
Talk: Logics, Automata, and Algorithms for Analysis of  Recursive Programs
Prof. Dr. Manfred Broy
Institut für Informatik
Technische Universität München
Germany
Talk: Model-based Requirements Engineering
Dr. Ernie Cohen
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Adventures in Virtualization
Dr. Andrew D. Gordon
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Protecting Alice from Malice: Protocols, Process Calculi, Proved Programs
Prof. Dr. David Harel
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
Israel
Talk: Modeling Reactive Systems with Visual Formalisms
Prof. Dr. C.A.R. Hoare
Microsoft Research Ltd.
Cambridge
United Kingdom
Talk: Concurrent Program Reliability
Prof. Dr. Orna Kupferman
School of Computer Science and Engineering
Hebrew University, Jerusalem
Israel
Talk: Applications of Automata Theory in Formal Verification
Prof. Dr. Butler W. Lampson
Microsoft Research Ltd.
Cambridge MA
USA
Talk: Practical Principles for Computer System Security
Prof. Dr. Axel v Lamsweerde
Department of Computing Science and Engineering
Université catholique de Louvain, Louvain-la-Neuve
Belgium
Talk: Engineering Requirements for System Reliability and Security
Prof. Dr. Wolfgang Paul
Institut für Informatik
Universität des Saarlandes, Saarbrücken
Germany
Talk: Pervasive Software Verification
Prof. Dr. Amir Pnueli
Faculty of Mathematics and Computer Science
The Weizmann Institute of Science
Israel
Talk: From Secure Requirements to Safe Implementations
Dr. Wolfram Schulte
Microsoft Research Ltd.
Redmond
USA
Talk: Towards a Verifying Compiler: The Spec# Approach

Feel free to contact us via e-mail

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

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

Impressum