Home
Lectures
Notes
Application Form
Deadline
March 27, 2015
2003
2004
2005
2006
2007
2008
2009
2010
2011
2012
2013
2014
|
Christel Baier
Technische Universität Dresden
Germany
Talk: Probabilistic Model Checking (abstract)
|
Nikolaj Bjorner
Microsoft Research, Redmond
USA
Talk: SMT Solvers: Foundations and Applications (abstract)
|
Veronique Cortier
LORIA, Vandœuvre-lès-Nancy
France
Talk: Models and Techniques for Analyzing Security Protocols (abstract)
|
Javier Esparza
Technische Universität München (TUM)
Germany
Talk: Parameterized Verification: Proving it for any Number of Processes (abstract)
|
Bernd Finkbeiner
Universität des Saarlandes, Saarbrücken
Germany
Talk: Synthesis of Reactive Systems (abstract)
|
Patrice Godefroid
Microsoft Research, Redmond
USA
Talk: Software Model Checking (abstract)
|
Orna Grumberg
TECHNION, Israel Institute of Technology, Haifa
Israel
Talk: Compositional Model Checking (abstract)
|
Sumit Gulwani
Microsoft Research, Redmond
USA
Talk: Programming by Examples (abstract)
|
Daniel Kröning
University of Oxford
United Kingdom
Talk: Verification of Concurrent Software (abstract)
|
Jean-François Raskin
Université Libre de Bruxelles (ULB)
Belgium
Talk: Two-Player Zero Sum Games played on Graphs: Omega Regular and Quantitative Objectives (abstract)
|
David Sands
Chalmers University of Technology, Gothenburg
Sweden
Talk: Software Security by Information Flow Control (abstract)
|
Helmut Seidl
Technische Universität München (TUM)
Germany
Talk: Equivalence - Combinatorics, Algebra, Proofs (abstract)
|
Eran Yahav
TECHNION, Israel Institute of Technology, Haifa
Israel
Talk: Analysis and Synthesis with "Big Code" (abstract)
|
|
