Reiner Hähnle
Abstract Symbolic Execution; March 7th, 2013
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.
Samanta Roopsha
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.