Ninth International Tbilisi Summer School in Logic and Language

Tbilisi 2013

Ninth International Tbilisi Summer School in Logic and Language

Sep. 30–Oct. 4, 2013, Tbilisi, Georgia

The summer school is supported by the CNRS-GNSF project "Structural and computational properties of logical structures" and the ANR-FWF project "Structural and Computational Proof Theory" (I-603 N18), and 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 prior to the summer school, the Tenth International Tbilisi Symposium on Language, Logic and Computation takes place in Gudauri, Georgia.

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. 1.
I.Block I.Floor
Petre Melikishvili Auditorium

Lecturers and Topics

Matthias Baaz, Vienna: Towards a Proof Theory of Analogical Reasoning
Juliusz Chroboczek, Paris: An Introduction to the BitTorrent Protocol
Stefan Hetzl, Vienna: Automata and Formal Language Theory
Alexander Leitsch, Vienna: Methods of Cut-Elimination
Norbert Preining, Kanazawa: Software Verification with CafeOBJ
Revantha Ramanayake, Vienna: Introduction to the Display Calculus
Kazushige Terui, Kyoto: Substructural Logics

Program

Monday, Sep 30	09:00-10:30	Kazushige Terui
	11:00-12:30	Alexander Leitsch
	14:30-16:00	Stefan Hetzl
	16:30-18:00	Revantha Ramanayake
Tuesday, Oct 1	09:00-10:30	Kazushige Terui
	11:00-12:30	Alexander Leitsch
	14:30-16:00	Stefan Hetzl
	16:30-18:00	Revantha Ramanayake
Wednesday, Oct 2	Excursion (see below)
Thursday, Oct 3	09:00-10:30
	11:00-12:30	Norbert Preining
	14:30-16:00	Juliusz Chroboczek
	16:30-18:00	Matthias Baaz
Friday, Oct 4	09:00-10:30
	11:00-12:30	Norbert Preining
	14:30-16:00	Juliusz Chroboczek
	16:30-18:00	Matthias Baaz

Excursion

The excursion will start from the university, the bus will leave near the lecture site at 8.am. The excursion will lead to Kartli visiting Mtskheta, the famous church Atenis Sioni, the antique site Uplisziche and Gori on the way. The conference dinner will follow the excursion.

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

Next summer school

The website for the Tenth International Tbilisi Summer School in Logic and Language can be found here.

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.

2013-10-01