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