Symposium »Logic and Algorithms: A Scientific Perspective«

Posted by Thomas Pani on Thursday, January 12, 2012 · Leave a Comment

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

09:00	Welcome Stefan Szeider and Helmut Veith, VCLA, Co-chairs, TU Vienna
	*Formal Specification and Verification of Markovian Population Models* Thomas A. Henzinger, IST Austria
10:00	Coffee break
10:30	*Kernelization Algorithms* Fedor V. Fomin, University of Bergen
	*Battling Bugs with Interpolants* Georg Weissenbacher, Princeton University
12:00	Lunch break
13:00	*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.