Edmund M. Clarke
30 Years of Model Checking
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Joao Marques-Silva
Practical Algorithms for Minimal Unsatisfiable Core Extraction
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Georg Weissenbacher
Battling Bugs with Interpolants
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Fedor V. Fomin
Kernelization Algorithms
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Thomas A. Henzinger
Formal Specification and Verification of Markovian Population Models
At the Symposium »Logic and Algorithms: A Scientific Perspective« for the official opening of VCLA.
Moritz Müller
On lower bounds for Res(k)
Invited seminar talk.
Daniel Lokshtanov
Generalization and Specialization of Kernelization
Invited talk at WorKer 2011.
Anders Yeo
Simultaneously Satisfying Linear Equations Over F_2: Parameterized Above Average
Invited talk at WorKer 2011.
Pierre Marquis
A Few Words about Knowledge Compilation
Invited talk at WorKer 2011.
Bart Jansen
Kernelization for a Hierarchy of Structural Parameters
Invited talk at WorKer 2011.