Twelfth International Tbilisi Summer School in Logic and Language

Tbilisi 2016

Twelfth International Tbilisi Summer School in Logic and Language

Sept. 12–Sept. 16, 2016, Tbilisi, Georgia

The summer school is organised by the Kurt Gödel Society and supported by the research projects ANR-15-CE25-0014 and FWF I-2671-N35. The aim of this summer school is to bring international and Georgian scientists and students together. Note that the week before the summer school, the Third International Wormshop, Workshop on Proof Theory, Modal Logic and Reflection Principles takes place in Tbilisi.

Registration

Participants from countries with currency problems: no fee, no registration.
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

Venue

Ivane Javakhishvili Tbilisi State University ,
I Block Petre Melikishvili Auditorium 115
1.Chavchavadze Av Tbilisi

Already Confirmed Lecturers and Topics

Juan P. Aguilera, Vienna: The Axiom of determinacy
Matthias Baaz, Vienna: Epsilon Calculus
Nick Bezhanishvili , Amsterdam: Superintuitionistic logics and varieties of Heyting algebras
Anela Lolic, Vienna: Proof Theory
Georg Moser, Innsbruck: Automatic resource analysis of programs
Michel Parigot, Paris: An overview of Proof systems
Albert Visser , Utrecht: From consistency to interpretability

Program

The lectures on Thursday and Friday are special lectures of the research projects ANR-15-CE25-0014 and FWF I-2671-N35.

Monday, Sep 12	09:00-10:30	Albert Visser
	11:00-12:30	Juan P. Aguilera
	14:30-16:00	Anela Lolic
	16:30-18:00	Nick Bezhanishvili
Tuesday, Sep 13	09:00-10:30	Albert Visser
	11:00-12:30	Juan P. Aguilera
	14:30-16:00	Anela Lolic
	16:30-18:00	Nick Bezhanishvili
Wednesday, Sep 14	Excursion (see below)
Thursday, Sep 15	09:00-10:30
	11:00-12:30	Michel Parigot
	14:30-16:00	Matthias Baaz
	16:30-18:00	Georg Moser
Friday, Sep 16	09:00-10:30
	11:00-12:30	Michel Parigot
	14:30-16:00	Matthias Baaz
	16:30-18:00	Georg Moser

Excursion

The excursion on Wednesday will visit the famous cave monastery of David Gareji and other places in Khacheti on the way. The conference dinner will take place in Mzcheta, the ancient capital of Georgia. Paricipants of the summer school and participants of the wormshop are invited. Participants of the wormshop should express their wish to participate by sending an email to baaz@logic.at till Monday, September 12.

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
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