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
Robustness Analysis of Networked Systems
Wednesday, January 30, 2013 at 16:00
Javier Esparza
Parameterized Verification of Asynchronous Shared-Memory Systems
Alexander Pretschner
Model-Based Security Testing: From Models to the Real World
Thursday, January 17, 2013 at 17:00
