Tenth International Tbilisi Summer School in Logic and Language

Tbilisi 2014

Tenth International Tbilisi Summer School in Logic and Language

Sept. 22–Sept. 27, 2014, Tbilisi, Georgia

The summer school is supported by the Austrian Science Fund (FWF) and organised by the Kurt Gödel Society. The aim of this summer school is to bring international and Georgian scientists and students together.


Participants from countries with currency problems: no fee.
If you want to register, contact Matthias Baaz for details: baaz@logic.at

Contact information

All inquiries should be sent to Matthias Baaz: baaz@logic.at


Ivane Javakhishvili Tbilisi State University,
Chavchavadze Avenue, no. 1.
First block
Djavakhisvili auditorium (auditorium 107)

Lecturers and Topics

Bahareh Afshari, Vienna: Logic, Games and Automata
Matthias Baaz, Vienna: Epsilon Calculus in Non-Classical Logics
David Gabelaia, Tbilisi: Crash course in Aristotle's Syllogistic
Graham Leigh, Vienna: Formal Theories of Truth
Saeed Salehi, Tabriz: Axiomatic Mathematics: Issues of Decidability in Logic [slides]
Andrei Voronkov, Manchester: First-Order Theorem Proving and Vampire


Monday, Sep 22 09:00-10:30Andrei Voronkov
11:00-12:30Saeed Salehi
14:30-16:00Graham Leigh
Tuesday, Sep 23 09:00-10:30Andrei Voronkov
11:00-12:30Saeed Salehi
14:30-16:00Bahareh Afshari
16:30-18:00Graham Leigh
Wednesday, Sep 24 09:00-10:30
16:30-18:00Bahareh Afshari
Thursday, Sep 25 Excursion (see below)
Friday, Sep 26 09:00-10:30
11:00-12:30Matthias Baaz
14:30-16:00David Gabelaia
16:30-18:00David Gabelaia


Please note that due to weather conditions, the excursion has been shifted to thursday.

A one day excursion on thursday will lead to Khevsureti, a wild and romantic mountain region of Georgia.

About Georgia

Georgia is a beautiful country in the heart of the Caucasus. For more information please visit the following web site:
Official Tourism website.

Programme and Organising Committee

Nino Antidze
Rusudan Asatiani
Matthias Baaz
Guram Bezhanishvili
Nani Chanishvili
Gogi Chikoidze
David Gabelaia
Revaz Grigolia
Marina Ivanishvili
Michel Parigot
Khimurui Rukhaia
Lali Tibua
Daniel Weller
Impressum gem. § 25 MedienG (Österreich): Matthias Baaz; c/o TU Wien; 1040 Wien. technische Betreuung: Daniel Weller; Wien. Für extern gelinkte Seiten wird keine Haftung übernommen, und die Verfasser distanzieren sich vom Inhalt gelinkter Seiten. 2014-08-29 Valid HTML 4.01! Valid CSS!