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.
