logo

Thirteenth International Tbilisi Summer School in Logic and Language

Tbilisi 2017

Thirteenth International Tbilisi Summer School in Logic and Language

Sept. 25–Sept. 29, 2017, Tbilisi, Georgia

The summer school is organised by the Kurt Gödel Society and supported by the research projects ANR-15-CE25-0014 FWF I-2671-N35. The aim of this summer school is to bring international and Georgian scientists and students together.

Registration

Participants from countries with currency problems: no fee, no registration.
If you want to register, contact Matthias Baaz for details: baaz@logic.at
Participants from other countries: Participation fee EUR 100. (Lecturers excluded).

Contact information

All inquiries should be sent to Matthias Baaz: baaz@logic.at
Contact in Georgia: +995593571217

Venue

Ivane Javakhishvili Tbilisi State University
8th Building 0179 Acting Hall 13 Chavchavadze Av Tbilisi, Georgia

Confirmed Lecturers and Topics

Federico Aschieri, Vienna: Curry-Howard correspondence
Matthias Baaz, Vienna: Gödel Logics: proof theory and semantics
Guram Bezhanishvili, New Mexico: A semantic hierarchy for Intuitionistic Logic
Andrey Bovykin, Rio de Janeiro: tba
Uwe Egly, Vienna: Quantifier handling in QBF
Carles Noguera, Prague: Reasoning with graded predicates in Mathematical Fuzzy Logic
Michel Parigot, Paris: Deep Inference

Program

Monday, Sep 25 9:30-11:00Federico Aschieri
11:30-13:00Uwe Egly
14:30-16:00Guram Bezhanishvili
16:30-18:00Andrey Bovykin
Tuesday, Sep 26 9:30-11:00Federico Aschieri
11:30-13:00Uwe Egly
14:30-16:00Guram Bezhanishvili
16:30-18:00Andrey Bovykin
Wednesday, Sep 27 Excursion (see below)
Thursday, Sep 28 10:00-11:30Carles Noguera
13:30-15:00Michel Parigot
15:30-17:00Matthias Baaz
Friday, Sep 29 10:00-11:30Carles Noguera
13:30-15:00Michel Parigot
15:30-17:00Matthias Baaz

Excursion

All participants of the summer school are invited to an excursion on Wednesday, which will visit West-Georgia. The conference dinner will take place in Mzcheta, the ancient capital 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 website of Georgia.

Programme and Organising Committee

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