Fourth International Tbilisi Summer School in Logic and Language

Tbilisi 2008

Fourth International Tbilisi Summer School in Logic and Language

22-26 September 2008, Tbilisi, Georgia

supported by the french ECO-NET project "computational interpretations of modal logics" and organized by the Kurt Gödel Society.

This summer school will bring together international and Georgian scientists and will provide a gesture of peace in times of war.

About Georgia

Registration

Participants from countries with currency problems - no fee

Participants from other countries Euro 200.- including accomodation for up to 7 nights

A registration form will soon be online.

IMPORTANT NOTE: All participants NOT from Georgia should contact Matthias Baaz at baaz@logic.at!

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

Contact information

All inquiries should be submitted to the following address:

tbilisi08@logic.at

Lecturers and Courses

Matthias BAAZ, Austria: Juridical Logic
David GABELAIA, Georgia: Advanced Modal Logics
Revaz GRIGOLIA, Georgia: Many-Valued Logics: An Algebraic Approach
Laura KOVACS, Switzerland: Invariant Generation by Algebraic Techniques for Software Verification
Michel PARIGOT, France: Deduction systems: from natural deduction to deep inference
Norbert PREINING, Austria: Introduction to Gödel Logics
Levan URIDIA, Georgia: Basic concepts of Modal Logic (provisional)
Andrei VORONKOV, GB: Propositional Satisfiability and Theories

Venue

Program

Excursion

On Wednesday, September 24 we will visit Kacheti, the king's fortress of its capital Telavi and the famous churches of Alaverdi, Schuamta and Ikalto. We will organize the conference dinner in Kachetian style. (Excursion and conference dinner are free for all participants.)

© 2008 Stefan Hetzl.

2008-09-05