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
Formal Specification and Verification of Markovian Population Models
|Battling Bugs with Interpolants
Georg Weissenbacher, Princeton University
Practical Algorithms for Minimal Unsatisfiable Core Extraction
|30 Years of Model Checking
Edmund M. Clarke, Carnegie Mellon University
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.