Xavier Rival

MemCAD, a Modular Abstract Domain for Reasoning on Memory States
September 4th, 2012

Workshop on Logic and Algebra

August 28, 2012
Seminar room Goedel

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.

Florent Madelaine

On the complexity of the model checking problem for syntactic fragments of first-order logic
Monday, August 13, 2012 at 11:30 (sharp)