Reiner Hähnle
Abstract Symbolic Execution; March 7th, 2013
Katarina Singer
Torsten Schaub
Potassco, the Potsdam Answer Set Solving Collection; March 28th, 15:00
EunJung Kim
Linear kernels and single-exponential algorithms via protrusion
decompositions; Feb. 25th, 17:00
Diego Calvanese
Verification of Relational Data-Centric Dynamic Systems with External Services
February 21st, 17:00
Pietro Baroni
Abstract argumentation semantics: from limits to perspectives
Tuesday March 5th, 10:00 am
Loris Bozzato
CKR: a general framework for context in Semantic Web
February 25th, 11 a.m.
Javier Esparza
Parameterized Verification of Asynchronous Shared-Memory Systems
Alexander Pretschner
Turing Machine Award 2012: presentation ceremony
The Turing Machine Award ceremony took place at the Böcklsaal on Thu, December 20th, 2012.
Andrey Rybalchenko
Program verification as constraint solving (also for existential and universal CTL properties)