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)