Franz Wotawa
Test automation – How far shall we go? Thursday, Jan. 9th, 17:00
Adam Rogalewicz
Mira Mezini
Petr Rockai
Explicit State Model Checking with DIVINE; December 6th, 2013
George Metcalfe
Proof Theory for Lattice-Ordered Groups; November 27, 2013
Esko Turunen
Pavelka style fuzzy logic over Chang's MV-algebra; November 20, 5pm
Alfons Laarman
Multi-Core Model Checking; November 14th, 17:00
Pedro Calabar
Setting the stage for ASP functions; November 11, 2013
Aniello Murano
Enriched Modal Logics; November 7th, 17:00
Meghyn Bienvenu
Inconsistency-tolerant semantics for ontology-based data access; October 21st, 14:00h