Seventh International Tbilisi Summer School in Logic and Language

Tbilisi 2011

Seventh International Tbilisi Summer School in Logic and Language

Sep. 19–Sep. 23, 2011, Tbilisi, Georgia

Supported by the CNRS-GNSF project "Structural and computational properties of logical structures" and organised by the Kurt Gödel Society.
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.
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,
Chavchavadze Avenue, no. 3.
Building II, United Nations Room 332.

View Larger Map

Lecturers and Topics

Matthias Baaz: Hilbert's epsilon calculus
Juliusz Chroboczek: Networking part 3: segmentation, reassembly, flow and congestion control (slides)
Oliver Fasching: Gödel logics (handwritten slides, typeset slides will be available)
Stefan Hetzl: Complexity of algorithms (slides)
Temur Kutsia: Unification
Hiroakira Ono: Substructural logics (slides)
Michel Parigot: Natural deduction and deep inference.
Norbert Preining: Kripke frames

Program

Monday, Sep 19	09:00-10:30	Temur Kutsia
	11:00-12:30	Oliver Fasching
	14:30-16:00	Michel Parigot
	16:30-18:00	Stefan Hetzl
Tuesday, Sep 20	09:00-10:30	Temur Kutsia
	11:00-12:30	Oliver Fasching
	14:30-16:00	Michel Parigot
	16:30-18:00	Stefan Hetzl
Wednesday, Sep 21	Excursion (see below)
Thursday, Sep 22	09:00-10:30	Hiroakira Ono
	11:00-12:30	Norbert Preining
	14:30-16:00	Juliusz Chroboczek
	16:30-18:00	Matthias Baaz
Friday, Sep 23	09:00-10:30	Hiroakira Ono
	11:00-12:30	Norbert Preining
	14:30-16:00	Juliusz Chroboczek
	16:30-18:00	Matthias Baaz

Excursion

Every registered student and every lecturer of this Summer School, and also every registered participant of the OGLAL-2011 conference held in parallel is cordially invited to join.
Please note that everyone participates at her/his own risk at all times!

Please let us know on the first day of the Summer School or OGLAL if you are joining the excursion and whether you would like to go rafting (see below). However, places on the raft are limited and we cannot guarantee a place; preference will be given to students.

At 06:00, we will depart to Kutaisi by bus from Chavchavadze Avenue, no. 1, Building I.
In Kutaisi, we will split in two groups for about one hour: While the one will visit Bagrati cathedrale, the other one goes rafting on Rioni river: The difficulty level of rafting is said to be low, but swimming and being in good health condition are necessary skills.
We will visit the Sataplia cave for about two hours, then the Gelati monastery.
On the way back to Tbilisi, we will stop in the old city of Mtskheta.
Between 19:00 and 20:00, we should be back in Tbilisi. The bus will go directly to the restaurant Tsarabi for conference dinner.
If you do not participate in the excursion but want to go to the dinner, please ask us for directions as taxidrivers will not find it.

Programme and Organising Committee

Nino Antidze
Rusudan Asatiani
Matthias Baaz
Guram Bezhanishvili
Nani Chanishvili
Gogi Chikoidze
Oliver Fasching
David Gabelaia
Revaz Grigolia
Marina Ivanishvili
Michel Parigot
Khimurui Rukhaia
Lali Tibua

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

2011-10-01