Adam Rogalewicz
The Tree Width of Separation Logic with Recursive Definitions
Tuesday, December 17, 2013 at 16:00
Mira Mezini
From Active to Reactive Objects
Thursday, December 5, 2013 at 17:00
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
Pre-doc position in theoretical computer science
Application deadline: October 31st;
PhD thesis in the area of constraint satisfaction problems
