The Fourth International Tbilisi Symposium on Language, Logic and Computation Borjomi, Georgia September 23-28, 2001 www.illc.uva.nl/borjomi The fourth Tbilisi Symposium on Language, Logic and Computation will be 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 sea cost resort Chakvi (1999). The success of this triad encourages us to continue this series. THEMES The Symposium welcomes papers on current research in all aspects of Linguistics, Logic and Computation, including but not limited to: Natural language semantics/pragmatics Algebraic and relational semantics Natural language processing Logic in AI and natural language Natural language and logic programming Automated reasoning Natural language and databases Information retrieval from text Natural language and internet Constructive and modal logic In line with the main trend in this field we strongly encourage the submission of papers concerning applications of logic to computation and the application of logic and computation to language description and modelling. SUBMISSION OF PAPERS Abstracts of papers submitted for presentation should not exceed 2 000 words. The abstracts should include, on the first page: title, author's name, affiliation, complete mailing address, phone, fax and e-mail address, an abstract of 200 words maximum, and up to five key- words. The preferred method of submission is electronically through the website www.illc.uva.ml/borjomi Only persons without access to the web can submit a hard copy. These hard copies should be submitted to the following address: Ingrid van Loon ILLC Plantage Muidergracht 24 NL-1018 TV Amsterdam The Netherlands The collection volume of the short versions will be available during the Symposium. The printing of the proceedings with full size (8-12 pages) papers is planned immediately after the Symposium. IMPORTANT DATES Submission deadline: April 30, 2001 Notification of acceptance: June 30, 2001 Registration deadline: August 15, 2001 Symposium: September 23-28, 2001 TUTORIALS 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 and Irene Heim (Massachusetts Institute of Technology, to be confirmed) on Language. INVITED SPEAKERS Ju. Apresjan (Russian Academy of Sciences, Moscow) R. Cooper (University of Goteborg) M. Krifka (Humboldt University Berlin ) B. Partee (University of Massachusetts) D. Pearce (to be confirmed) Y. Venema (University of Amsterdam, to be confirmed) A. Voronkov (The University of Manchester) M. Zakharyaschev (King's College, London) SCIENTIFIC BOARD chairs Th. Gamkrelidze (Tbilisi State University) D. de Jongh (University of Amsterdam) members 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) 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) ORGANIZATION COMMITTEE T. Khurodze (pro-rector of the Tbilisi State University, Chair) P. Dekker, I. van Loon, M. Marx, H. Zeevat (University of Amsterdam) N. Amirezashvili, R. Asatiani, N. Bezhanishvili, G. Chikoidze, R. Grigolia, M. Ivanishvili, N. Javashvili, L. Lortkipanidze(Georgian Academy of Sciences) N. Chanishvili, K. Phkhakadze, Kh. Rukhaia, N. Shengelaia (Tbilisi State University) FEES The participant's fee is 200 EURO. This fee is not obligatory forparticipants from Central and Eastern Europe and the Newly Independent States. TRAVEL 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. LOCATION 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. EXCURSIONS 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. INFORMATION www.illc.uva.nl/borjomi For more information one may also contact: George Chikoidze Dept. of Language Modelling Institute of Control Systems Georgian Academy of Sciences 34, K. Gamsakhurdia 380060 Tbilisi Georgia phone: +995 32 382136 fax: +995 32 942391 chiko@contsys.acnet.ge or: Ingrid van Loon Institute for Logic, Language and Computation University of Amsterdam Plantage Muidergracht 24 NL-1018 TV Amsterdam The Netherlands phone: +31 20 525 6519 fax: +31 20 525 5206 borjomi@wins.uva.nl ABOUT GEORGIA/BORJOMI Web sites: www.parliament.ge www.parliament.ge/~nino/borjomi/borjomi.html avkl.narod.ru/gallery/georgia/english.html www.odci.gov/cia/publications/factbook/geos/gg.html www.grida.no/enrin/htmls/georgia/soegeor/english/biodiv/reserves/borjomi.htm www.sakartvelo.com dir.yahoo.com/Regional/Countries/Georgia/ Travel guide: "Georgia; The Bradt Travel Guide" by Tim Burford (published by Bradt in 1999); ISBN I 898323 98 4