Miroslaw Truszczynski
James Delgrande
Andreas Griesmayer
Leonid Libkin
Graph Logics and Relations on Words
Robert Ganian
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
Florent Madelaine
Iyad Kanj
Ruslan Smeliansky
