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
1st block 2nd floor, Foyer from 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, Bahia: Three dialects of unprovability proofs and an extension to Godel's L
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:00	Federico Aschieri
	11:30-13:00	Uwe Egly
	14:30-16:00	Guram Bezhanishvili
	16:30-18:00	Andrey Bovykin
Tuesday, Sep 26	9:30-11:00	Federico Aschieri
	11:30-13:00	Uwe Egly
	14:30-16:00	Guram Bezhanishvili
	16:30-18:00	Andrey Bovykin
Wednesday, Sep 27	Excursion (see below)
Thursday, Sep 28	10:00-11:30	Carles Noguera
	13:30-15:00	Michel Parigot
	15:30-17:00	Matthias Baaz
Friday, Sep 29	10:00-11:30	Carles Noguera
	13:30-15:00	Michel Parigot
	15:30-17:00	Matthias Baaz

Excursion

All participants of the summer school are invited to an excursion on Wednesday. We will visit remote churches in Kartli. The conference dinner will take place in 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