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.