Eleventh International Tbilisi Summer School in Logic and Language

Tbilisi 2015

Eleventh International Tbilisi Summer School in Logic and Language

Sept. 14–Sept. 18, 2015, Tbilisi, Georgia

The summer school is organised by the Kurt Gödel Society. The aim of this summer school is to bring international and Georgian scientists and students together.

Note that immediately after the summer school, the Eleventh International Tbilisi Symposium on Language, Logic and Computation 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

Matthias Baaz, Vienna: Gödel logics: validity and 1Satisfiability
Lev Beklemishev, Moscow: Interpretability of First-order models and theories
Melvin Fitting, USA: Tableaux and sequent calculi for modal and related logics
Juliusz Chroboczek, Paris: The Internet, international standards, and the home networks of the future
Roman Kuznets, Vienna: Justification Logic
Michel Parigot, Paris: An overview of Proof Systems
Gernot Salzer, Vienna: Constraint Satisfaction Problems and Their Complexity

Program

Monday, Sep 14	09:00-10:30
	11:00-12:30	Lev Beklemishev
	14:30-16:00	Michel Parigot
	16:30-18:00	Juliusz Chroboczek
Tuesday, Sep 15	09:00-10:30
	11:00-12:30	Lev Beklemishev
	14:30-16:00	Michel Parigot
	16:30-18:00	Juliusz Chroboczek
Wednesday, Sep 16	Excursion (see below)
Thursday, Sep 17	09:00-10:30
	11:00-12:30	Melvin Fitting
	14:30-16:00	Gernot Salzer
	16:30-18:00	Roman Kuznets
Friday, Sep 18	09:00-10:30	Matthias Baaz
	11:00-12:30	Melvin Fitting
	14:30-16:00	Gernot Salzer
	16:30-18:00	Roman Kuznets

Excursion

The excurison is planned to go to Vardzia. The excursion is free for all participants.

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
Michel Parigot
Khimurui Rukhaia
Lali Tibua
Daniel Weller

Impressum gem. § 25 MedienG (Österreich): Matthias Baaz; c/o TU Wien; 1040 Wien. technische Betreuung: Daniel Weller; Wien. Für extern gelinkte Seiten wird keine Haftung übernommen, und die Verfasser distanzieren sich vom Inhalt gelinkter Seiten.

2015-01-09