Category Talks
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
Werner Dietl
11:00–12:00 Verification Games: Making Verification Fun
14:00–16:00 Developing and using pluggable type systems
Wednesday, June 20, 2012
Ana Sokolova
Quantitative Relaxation of Concurrent Data Structures
June 14th, at 17:00