Andrey Rybalchenko
Program verification as constraint solving (also for existential and universal CTL properties)
Tomer Kotek
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