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