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