Sixth International Tbilisi Summer School in Logic and Language

Tbilisi 2010

Sixth International Tbilisi Summer School in Logic and Language

August 30 - September 4, 2010, Svaneti, Georgia

supported by the I. Javakhishvili Tbilisi State University and the CNRS-GNSF joint project "Structural and computational properties of logics". Organized by the Kurt Gödel Society.

This summer school will bring together international and Georgian scientists and students.

About Georgia and Svaneti

Georgia is a beautiful country in the heart of the Caucasus. For more information please visit the following web site: Official Tourism website.
Svaneti is an alpine part of Georgia inhabited by Georgians since more than 2000 years. It is an isolated, incredulously beautiful country of ancient traditions which go back many hundred years. It is famous for the family defense towers which are a symbol of independence and strength.
The summer school takes place in early autumn in Svaneti, when all the trees are in full colour, and the weather is usually pleasant.

Participants are advised to bring good clothing and shoes. The summer school takes place in an alpine region, hence it may get cold.

Registration

Participation is by invitation only.

Program and Organizing Committee

Nino ANTIDZE
Rusudan ASATIANI
Matthias BAAZ
Guram BEZHANISHVILI
Nani CHANISHVILI
Gogi CHIKOIDZE
David GABELAIA
Revaz GRIGOLIA
Stefan HETZL
Marina IVANISHVILI
Michel PARIGOT
Chimurui RUKHAIA
Lali TIBUA
Daniel WELLER

Contact information

All inquiries should be submitted to the following address:

baaz@logic.at

Lecturers and Courses

Matthias Baaz, Vienna University of Technology, Austria: Gödel Logics
Andrey Bovykin, University of Bristol, U.K.: An introduction to modern metamathematics
Juliusz Chroboczek, University of Paris 7, France: The Internet For Beginners: Switching, routing, and congestion control
Michel Parigot, University of Paris 7, France: Proof theory through Deep Inference
David Gabelaia / Dito Pataraia, Academy of Sciences, Georgia: Non-well-founded set theory
Daniel Weller, Vienna University of Technology, Austria: Proof Analysis

Venue

The summer school will be held in the high valley of Svaneti, at the Alpinistic Station Zeskho.

All participants will be transported by shuttle busses from Tbilisi to the conference venue in the early morning on Monday, August 30. The participants will return to Tbilisi in the late evening on Sunday, September 5.

Departure: At the I.Javakhishvili Tbilisi State University, near building I, on August 30 at 6:00am.

Program

Excursion

On Wednesday, September 1, we will visit Ushguli, the ancient city of towers. Ushguli can be counted as the highest village of Europe. We will visit the famous art collection which contains cultural artefacts of immense importance for the Svanetian people. These artefacts were never allowed to leave the valleys of Svaneti. (Accomodation, meals and excursion are free for all participants).

© 2009-2010 Stefan Hetzl, Daniel Weller.

2010-07-21