Fifteenth International Tbilisi Summer School in Logic and Language

Tbilisi 2019

Fifteenth International Tbilisi Summer School in Logic and Language

Sept. 23–Sept. 27, 2019, 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

Matthias Baaz, Vienna, Austria: Towards a proof theory for henkin quantifiers
Pierre-Louis Curien, Paris, France: An introduction to Homotopy Type Theory
Georg Gottlob, Oxford, GB: Datalog and its extensions for knowledge representation and reasoning
Delia Kesner, Paris, France: Multi-Types for Higher-order Languages
Michel Parigot, Paris, France: Deep inference and atomic Lambda Calculus
Lorenzo Sauras, Vienna, Austria: Hilbert's 10th problem
Hedde Zeijlstra, Göttingen, Germany: Minimalist grammars

Program

Monday, Sep 23	10:00-11:30	Hedde Zeijlstra
	13:30-15:00	Delia Kesner
	15:30-17:00	Michel Parigot
Tuesday, Sep 24	10:00-11:30	Hedde Zeijlstra
	13:30-15:00	Delia Kesner
	15:30-17:00	Michel Parigot
Wednesday, Sep 25	Excursion (see below)
Thursday, Sep 26	11:00-12:30	Georg Gottlob
	14:30-16:00	Lorenzo Sauras
	16:30-18:00	Pierre-Louis Curien
Friday, Sep 27	9:00-10:30	Matthias Baaz
	11:00-12:30	Georg Gottlob
	14:30-16:00	Lorenzo Sauras
	16:30-18:00	Pierre-Louis Curien

Excursion

All participants of the summer school are invited to an excursion on Wednesday. The excursion will lead us to West Georgia. We will visit among others Gori, the ancient town of Uplistsikhe and the holy town of Mtskheta. The workshop dinner will take place in Cafe Tatin, Mtskheta.

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