Thomas Pani
Turing Machine Award 2012
On the occasion of Alan Turing's 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.
Formal Methods in Systems Enginnering Group: Ten PhD and PostDoc positions
The Formal Methods in Systems Engineering Group at Vienna University of Technology offers 10 PhD/PostDoc positions.
Ana Sokolova
Course on Coalgebra in Computer Science
March 8 to June 28, 2012 in seminar room Gödel / von Neumann
Johannes Fürnkranz
Course on Inductive Rule Learning
March 12-27, 2012 in seminar room Gödel
Daniel Paulusma
Lift Contractions
Joint work with: Petr Golovach, Marcin Kaminski and Dimitrios Thilikos
Tuesday, February 21, 2012 in seminar room Gödel
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.