Home
Lectures
Deadline February 28, 2007
2003
2004
2005
2006
With a click on the button above, your browser will establish a connection to Facebook.
See the Impressum for more information.
|
Prof. Dr.
Gilles Barthe
INRIA Sophia-Antipolis
France
Talk: Verification Methods for Software Security and Correctness (abstract, slides)
|
Prof. Dr. Bob Constable
Computer Science Department
Cornell University
USA
Talk: Logical Foundations of Computer Security (abstract, slides)
|
Prof.
Dr. Javier Esparza
Institut für Informatik
Technische Universität München
Germany
Talk:
Building a Software Model Checker (abstract, slides)
|
Prof. Dr. Orna Grumberg
Computer Science Department
Technion -- Israel Institute of Technology
Israel
Talk: Automatic Refinement and Vacuity Detection for Symbolic
Trajectory Evaluation (abstract, slides)
|
Dr. John Harrison
Intel Corporation
USA
Talk: Automated and Interactive Theorem Proving (abstract, slides)
|
Prof.
Dr. Martin Hofmann
Theoretische Informatik
Ludwigs-Maximilians-Universität München
Germany
Talk: Correctness of Effect-based Program Transformations (abstract)
|
Prof. Dr. Martin Hyland
Department of Pure Mathematics and Mathematical Statistics
University of Cambridge
United Kingdom
Talk: Abstract and Concrete Models of Recursion (abstract, slides)
|
Prof. Dr. John
Mitchell
Department of Computer Science
Stanford University
USA
Talk: Security Analysis of Network Protocols (abstract, slides)
|
Prof. Dr. Greg Morrisett
Division of Engineering and Applied Science
Harvard University
USA
Talk: The Engineering Challenges of Trustworthy Computing (abstract, slides)
|
Prof. Dr. Tobias Nipkow
Institut für Informatik
Technische Universität München
Germany
Talk: Verified Decision Procedures for Linear Arithmetic (abstract, slides)
|
Prof. Dr.
Helmut Schwichtenberg
Mathematisches Institut der Universität München
Ludwigs-Maximilians-Universität München
Germany
Talk: Proofs with Feasible Computational Content (abstract, slides)
|
Prof. Dr. Stan Wainer
Department of Pure Mathematics
University of Leeds
United Kingdom
Talk: Proof Systems, Large Functions, and Combinatorics (abstract, slides)
|
|
