30-04-13 10:01

Ninth International Tbilisi Summer School in Logic and Language

For the ninth time students and teachers meet in Tbilisi, Georgia, for a summer school. Please see the conference page http://www.logic.at/tbilisi13/ fo...

08-04-13 10:11

Collegium Logicum Lecture Series

Wed, 10 Apr 2013, 17:00, Sebastian Eberhard (Universität Bern): An implicit characterisation of polynomial time using a truth predicate

12-10-12 13:11

Collegium Logicum Lecture Series

Tue, 16 Oct 2012, 16:30, Leonid Libkin (Univ. of Edinburgh): Graph Logics and Relations on Words

11-10-12 15:01

Collegium Logicum Lecture Series

We, 31 Oct 2012, 17:00, Christoph Benzmüller (Freie Universität Berlin): Utilizing Church's type theory as a universal logic

13-08-12 10:01

Eighth International Tbilisi Summer School in Logic and Language

For the eighth time students and teachers meet in Tbilisi, Georgia, for a summer school. Please see the conference page http://www.logic.at/tbilisi12/ f...