Katarina Singer
Madalina Erascu
Joint work with Tudor Jebelean (RISC, Austria) and Hoon Hong (NCSU, USA)
Christoph Lenzen
Fast Routing Table Construction Using Small Messages
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