Fourteenth International Tbilisi Summer School in Logic and Language

Tbilisi 2018

Fourteenth International Tbilisi Summer School in Logic and Language

Sept. 17–Sept. 21, 2018, 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
I Block Petre Melikishvili Auditorium 115 1.Chavchavadze Av Tbilisi

Confirmed Lecturers and Topics

Roberta D'Alessandro, Utrecht: Foundations of syntax
Matthias Baaz, Vienna: The concept of proof
Jan Bydzovsky, Vienna: Ultrapower constructions and proof complexity
Johann Makowsky, Haifa: What had Tarski in mind when he said that elementary geometry is decidable?
Kenji Miyamoto, Innsbruck: Epsilon calculus and quantifiers
Michel Parigot, Paris: Deep inference

Program

Monday, Sep 17	10:00-11:30	Johann Makowsky
	13:30-15:00	Roberta D'Alessandro
	15:30-17:00	Kenji Miyamoto
Tuesday, Sep 18	10:00-11:30	Johann Makowsky
	13:30-15:00	Roberta D'Alessandro
	15:30-17:00	Kenji Miyamoto
Wednesday, Sep 19	Excursion (see below)
Thursday, Sep 20	10:00-11:30	Michel Parigot
	13:30-15:00	Jan Bydzovsky
	15:30-17:00	Matthias Baaz
Friday, Sep 21	10:00-11:30	Michel Parigot
	13:30-15:00	Jan Bydzovsky
	15:30-17:00	Matthias Baaz

Excursion

All participants of the summer school are invited to an excursion on Wednesday. We will visit Manglisi and surroundings.

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