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 |
|