MemCAD, a Modular Abstract Domain for Reasoning on Memory States
September 4th, 2012
August 28, 2012
Seminar room Goedel
On the occasion of Alan Turing’s 100th birthday, the Vienna Center for Logic and Algorithms (VCLA) awards the Turing Machine Award 2012.
On the complexity of the model checking problem for syntactic fragments of first-order logic
Monday, August 13, 2012 at 11:30 (sharp)