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.