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.