First Call For Papers The Tbilisi Symposium on Language, Logic and Computation -------------------------------------------------------- Tbilisi, Republic of Georgia October 19-22, 1995 Host institution: Tbilisi State University Dedicated to Solomon Dodashvili In order to foster communication between researchers in the Republic of Georgia and the international research community, the Georgian Centre for Language and Speech, based at the Tbilisi State University, will host an international symposium on language, logic and computation in 19-22, October 1995. The Tbilisi Symposium is anticipated to be the first of a regular series. TOPICS OF INTEREST: The Tbilisi Symposium will welcome papers on current research in all aspects of language, logic and computation, including but not limited to: * natural language semantics/pragmatics * dynamic and modal logic * quantified extensions of modal systems and intermediate logics: semantical and computational aspects * information oriented logical frameworks: domain theory, linear logic, situation theory * natural language parsing and generation * machine translation and translation aids * statistics and language processing * automated deduction and logic programming * lambda and combinatory calculi * process algebra * category theory in computer science INVITED SPEAKERS: R. Cooper (Edinburgh) P. Gardenfors (Lund) A. Joshi (Philadelphia) H. Ono (Ishikawa) A. Preller (Montpelier) H. Uszkoreit (Saarbruecken) R. Wojcicki (Warszawa) PROGRAMME COMMITTEE: J. van Benthem (Amsterdam) J. Bergstra (Amsterdam) P.L. Curien (Paris) G. Erbach (Saarbruecken) L. Esakia (Tbilisi) T. Fernando (Stuttgart) H. Ganzinger (Saarbruecken) J. Ginzburg (Edinburgh) D. de Jongh (Amsterdam) E. Klein (Edinburgh) Z. Khasidashvili (Norwich) (Co-chair) E. Khmaladze (Tbilisi) J.-J. Levy (Rocquencourt) (Co-chair) A. Mikheev (Edinburgh) S. Peters (Stanford) K. Segerberg (Stockholm) E. Vallduvi (Edinburgh) PROCEEDINGS: The papers will be refereed and a selection will appear as a book published by the Center for the Study of Language and Information (CSLI), Stanford. SUBMISSION DETAILS: Papers not exceeding 10-pages should be submitted electronically or, if electronic submission is problematic, in hard copy. Electronic submissions should be in plain text, latex, or ready-to-print postscript. Papers submitted by postal mail should be accompanied by 3 additional copies. No fax submissions. Papers should be accompanied by a two-page abstract. The abstract should also include the full postal and e-mail address and fax/phone of the author (or a designated contact author in case of joint papers), as well as a specification of the topic area. These abstracts will be collated together and will be made available to all symposium participants. Papers should be submitted to: The Tbilisi Symposium E-mail: tbilisi@cogsci.ed.ac.uk Human Communication Research Centre Phone: +44 131 650 4667 University of Edinburgh Fax: +44 131 650 4587 2 Buccleuch Place Edinburgh, EH8 9LW Scotland, UK SCHEDULE: Authors must submit their 10-page papers by 31 May 1995. Notification of receipt will be mailed to the (contact) author. Authors will be notified of acceptance by 15 July 1995. The deadline for submission of final versions of the presented papers will be 31 October 1995. Papers will undergo review and a selection will be published in the proceedings. We expect the proceedings to appear in the first half of 1996. Final submission details will be sent along with the symposium materials. ORGANISING COMMITTEE: J. Ginzburg (Co-Chair) E. Vallduvi (Co-Chair) Human Communication Research Centre Centre for Cognitive Science University of Edinburgh University of Edinburgh 2 Buccleuch Place 2 Buccleuch Place Edinburgh EH8 9LW Edinburgh EH8 9LW Scotland Scotland ginzburg@cogsci.ed.ac.uk enric@cogsci.ed.ac.uk Phone: +44-131-650-4627 Phone: +44-131-650-4451 Fax: +44-131-650-4587 Fax: +44-131-650-4587 Z. Khasidashvili (Programme Co-Chair) J.-J. Levy (Programme Co-chair) School of Information Systems INRIA Rocquencourt, University of East Anglia Domaine de Voluceau, Norwich NR4 7TJ B.P. 105, 78153 Le Chesney Cedex England France zurab@sys.uea.ac.uk Jean-Jacques.Levy@inria.fr Phone: +44-1603-592607 Phone: +33 1 39 63 56 44 Fax: +44-1603-593344 Fax: +33 1 39 63 55 11. LOCAL ORGANISING COMMITTEE: Chair: T. Khurodze (Vice-rector, TSU) Vicechair: N. Chanishvili (Dept. of Modern Georgian, TSU); Secretaries: R. Asatiani (Inst. of Oriental Studies, GAS); T. Sukhiashvili (Inst. of Cybern., GAS). Georgian Academy of Sciences: M. Abashidze, R. Grigolia (Inst. of Cybern.); G. Tagviashvili (Inst. of Computational Math.); G. Chikoidze (Inst. of Control Systems); N. Amiridze (Inst. of Oriental Studies); T. Uturgaidze (Inst. of Linguistics); M. Bejanishvili (Inst. of Philosophy); Tbilisi State University: J. Antidze, T. Kutsia (Inst. of Applied Math.); L. Mchedlishvili, N. Ivanidze (Dept. of Logics); L. Chkhaidze (Inst. Comp. Science and Telecommunication); LOCATION: The Republic of Georgia offers many singular attractions. Tbilisi is a beautiful urban centre of Georgia, which is rich in architectural, historical, and natural attractions. Tbilisi is easily accessible by plane from many major European cities (e.g. several flights per week from Frankfurt, Istanbul, Koeln, Paris, Prague, Thessaloniki, Vienna). There are also direct flights to Tbilisi from Tel Aviv and Cairo. SOLOMON DODASHVILI: Solomon Dodashvili was a Professor at St. Petersburg University. He is the author of a well-known tutorial book of logic, published by St. Petersburg University in 1827. In 1995 Georgia will celebrate the 190th anniversary of his birth. An excursion will be organised to the Kakheti region, where Dodashvili was born. CONFERENCE INFORMATION: This announcement (ascii, dvi and postcript formats) is available via anonymous FTP from ftp.cogsci.ed.ac.uk in directory pub/tbilisi. Information about flight schedules to Tbilisi is also available. For further information contact the Edinburgh address above. Information on registration and accommodation will appear in future announcements