The Fourth International Tbilisi Symposium
on Language, Logic and Computation

Borjomi, Georgia
September 23-28, 2001

The fourth Tbilisi Symposium on Language, Logic and Computation was held in the mountain resort Likani, situated in the Borjomi Canyon, from 23 to 28 September. The Symposium is organized by the Centre for Language, Logic and Speech at the Tbilisi State University in conjunction with the Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam. The 2001 forum is the fourth instalment of a series of biannual Symposia. The preceding ones took place in the Georgian mountain resort Gudauri (1995), at the capital of Georgia Tbilisi (1997) and in the Black see cost resort Chakvi (1999). The success of this triad encourages us to continue this series.

Back to begin


The proceedings of both the 3-rd and the 4-th Symposium are now electronically available. They can be downloaded as one package or separately by author.

Back to begin


Monday September 24, 2001

9.30 - 10.30 Barbara Partee & Vladimir Borschev (invited lecture)
10.30 - 11.00 Coffee Break
11.00 - 12.30 Session 1
Giorgi Japarize
Dorit Ben Shalom
Fairouz Kamareddine & Rob Nederpelt
Session 2
Ahmed Brahim
Lee Yat Mei (Sophia)
12.30 - 14.00 lunch
14.00 - 15.00 Robin Cooper (invited lecture)
15.15 - 16.15 Tutorial Patrick Blackburn
16.15 - 17.15 Tutorial Igor Boguslavsky
17.15 - 17.45 break
17.45 - 18.45 Yde Venema (invited lecture)

Tuesday September 25, 2001

9.30 - 10.30 Manfred Krifka (invited lecture)
10.30 - 11.00 Coffee Break
11.00 - 12.30 Session 3
Maria Aloni and Robert van Rooy
Marie Nilsenova
Rusudan Asatiani
Session 4
Carlos Areces, Patrick Blackburn and Maarten Marx
David Gabelaia
Tadeusz Litak
12.30 - 14.00 lunch
14.00 - 15.00 Tutorial Johan van Benthem
15.15 -16.15 Tutorial Patrick Blackburn
16.15 -17.15 Tutorial Igor Boguslavsky
17.15 - 17.45 break
17.45 - 18.45 M. Zakharyaschev (invited lecture)
18.55 - 19.35 Pieter Seuren (extra lecture)

Wednesday September 26, 2001

9.30 - 10.30 Tutorial Johan van Benthem
10.30 - 11.00 Session 5
Nadia Nedjah and Luiza de Macedo Mourelle
Session 6
Lamara Margvelani
11.00 - 11.30 coffee break
11.30 - 13.00 Session 7
Howard Gregory
Balder ten Cate
Paul Dekker
Session 8
Gabor Alberti,Kata Balogh and Judit Kleiber
Siamak Rezaei
Konstantine Pkhakadze and Marine Ivanishvili

Thursday September 27, 2001

9.30 - 10.30 A. Voronkov (invited lecture)
10.30 - 11.00 Coffee Break
11.00 - 12.30 session 9
Richard Zuber
Troy Lee
Gerhard Jaeger
session 10
Jost Gippert, Thedo Uturgaidze and Levan Chkhaidze
Ketevan Datukishvili, Nana Loladze, Merab Zakalashvili
12.30 - 14.00 lunch
14.00 - 15.00 Tutorial Johan van Benthem
15.15 -16.15 Tutorial Patrick Blackburn
16.15 -17.15 Tutorial Igor Boguslavsky
17.15 - 17.45 break
17.45 - 18.45 David Pearce (invited lecture)

Friday September 28, 2001

09.30 - 11.00 Session 11
Marine Ivanishvili and Ether Soselia
Anna Mlynarczyk
Henk Zeevat
session 12
Nick Bezhanishvili
Revaz Grigolia and Antonio Di Nola
Vladimir Sotirov
11.00 - 11.30 coffee break
11.30 - 12.00 session 13
Gregers Koch
session 14
Jemali Antidze, Nana Gulua and David Mishelashvili
12.00- 13.00 Ju. Apresjan (invited lecture)

Back to begin


In parallel with the Symposium tutorials will be given by outstanding scholars for students and post-graduates. They are explicitly meant to address interdisciplinary issues in the fields of language, logic and computation. Johan van Benthem (ILLC, University of Amsterdam) will give a tutorial on logic, Patrick Blackburn (INRIA, Lorraine) on computation Igor Boguslavsky (IITP, Russian Academy of Sciences ) on linguistics

Back to begin

Invited Speakers

Back to begin

Scientific Board

Th. Gamkrelidze (Tbilisi State University)
D. de Jongh (University of Amsterdam)
Matthias Baaz (Technical University of Vienna)
Guram Bezhanishvili (New Mexico State University)
Wim Blok (The University of Illinois at Chicago)
Igor Boguslavskij (Russian Academy of Sciences, Moscow)
George Chikoidze (Georgian Academy of Sciences)
Robin Cooper (G–teborg University)
Leo Esakia (Georgian Academy of Sciences)
Eva Hajicova (Charles University)
Georgi Japaridze (Villanova University)
Paul Johnston (UMIST)
Manfred Krifka (Humboldt University Berlin)
Igor Melchuk (Montreal University)
Hiroakira Ono (Japan Advanced Institute of Science and Technology)
Barbara Partee (University of Massachusetts)
Carl Vogel (Trinity College Dublin)
Henk Zeevat (University of Amsterdam)

Back to begin

Organizing Committee

T. Khurodze (pro-rector of the Tbilisi State University, Chair)
P. Dekker, I. van Loon, M. Marx (University of Amsterdam)
N. Amirezashvili, R. Asatiani, N. Bezhanishvili, G. Chikoidze, M. Ivanishvili, N. Javashvili, L. Lortkipanidze, G. Revaz (Georgian Academy of Sciences)
N. Chanishvili, K. Phkhakadze, Kh. Rukhaia, N. Shengelaia (Tbilisi State University)

Back to begin


To register, please fill out the online Registration Form at or before August 22. The registration fee is 200 EURO. This fee is not obligatory for participants from Central and Eastern Europe and the Newly Independent States. More information about payment and accomodation can be found on the Registration Form.

Back to begin


By plane to Tbilisi and then by bus (3-4 hours) to Likani; a special bus trip is planned which will start inTbilisi at Sunday September 23.

A visa can be obtained at the airport. All participants will get a letter of invitation to facilitate the procedure of getting a visa.

Back to begin


Georgia is an ancient country situated between Black and Kaspian Seas, Caucasus Mountains and Turkey. This is the country of the Golden Fleece, myth of Argonauts, Jason and Medea, Promethee, chained to the Caucasus Mountains. Georgia is famous for its high quality wines, exquisite cuisine and cordial hospitality.

The Symposium will be hosted by the Tbilisi State University, the chief centre of education in the country which has several outstanding scholars in science, art and politics among its graduates.

The Fourth Tbilisi Symposium will be held in Likani, a group of sanatoriums and hotels situated in the famous mountain resort Borjomi. Borjomi (175 km west from Tbilisi) is the largest mountain spa in Georgia, whose name is a synonym for mineral water throughout Georgia. The surrounding countryside with many good walks in the hills and several attractive parks is a nature reserve. Borjomi Canyon slopes are covered by mixed forest, variegated in the autumn; somewhat higher in the Canyon is the ski resort Bakuriani and at a distance of 150 km the medieval cave-city Vardzia. From the monuments in Borjomi the most important is one of the residencies of Russian Kings.

Back to begin


Short excursions are planned to the ski resort Bakuriani and cave-city Vardzia. As one of the options of return to Tbilisi a two-day trip is planned to the second town of Georgia, Kutaisi, and the mountain resort Shovi situated on the south slopes of the main Caucasus ridge.

Back to begin


For more information one may also contact:

George Chikoidze


Dept. of Language Modelling
Inst. of Control Systems
Georgian Academy of Sciences
34, K. Gamsakhurdia
380060 Tbilisi

Institute for Logic,
Language and Computation
University of Amsterdam
Plantage Muidergracht 24
NL-1018 TV Amsterdam
The Netherlands

phone: +995 32 382136
fax: +995 32 942391

phone: +31 20 525 6519
fax: +31 20 525 5206

Back to begin

About Georgia

Web sites:

Travel guide: "Georgia; The Bradt Travel Guide" by Tim Burford (published by Bradt in 1999); ISBN I 898323 98 4

Back to begin