Symposium »Logic and Algorithms: A Scientific Perspective«

Preceding the official opening of VCLA (Vienna Center for Logic and Algorithms), five invited speakers – including Turing Award winner Edmund M. Clarke – will shared their view on the current state of research in logic and algorithms:


Wednesday, January 25, 2012



Stefan Szeider and Helmut Veith, VCLA, Co-chairs, TU Vienna 


Formal Specification and Verification of Markovian Population Models
Thomas A. Henzinger, IST Austria


Coffee break


Kernelization Algorithms
Fedor V. Fomin, University of Bergen

  Battling Bugs with Interpolants
Georg Weissenbacher, Princeton University
 12:00 Lunch break 

Practical Algorithms for Minimal Unsatisfiable Core Extraction
Joao Marques-Silva, University College Dublin & IST/INESC-ID

  30 Years of Model Checking
Edmund M. Clarke, Carnegie Mellon University
14:30 Coffee break

The symposium takes place at Festsaal (1040 Wien, Karlsplatz 13, Stiege I, 1. Stock).
It is followed by the official opening of VCLA immediately afterwards, and the award of an honorary doctorate to Edmund M. Clarke on Thursday, January 26, 2012.


Photos by Nadja Meister.

Comments are closed.