*********************************************************************** 1st Call for Papers THE TENTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 23-27 September 2013 Georgia Website: http://www.illc.uva.nl/Tbilisi/Tbilisi2013 *********************************************************************** CALL FOR PAPERS The Tenth International Tbilisi Symposium on Language, Logic and Computation will be held on 23-27 September 2013 in Georgia. The Programme Committee invites submissions for contributions on all aspects of language, logic and computation. Work of an interdisciplinary nature is particularly welcome. Areas of interest include, but are not limited to: * Algorithmic game theory * Computational social choice * Constructive, modal and algebraic logic * Formal models of multiagent systems * Historical linguistics, history of logic * Information retrieval, query answer systems * Language evolution and learnability * Linguistic typology and semantic universals * Logic, games, and formal pragmatics * Logics for artificial intelligence * Natural language syntax, semantics, and pragmatics Authors can submit an abstract of four pages (including references) at the EasyChair conference system here: http://www.easychair.org/conferences/?conf=tbillc2013 PROGRAMME The programme will include the following invited lectures and tutorials. Tutorials: Logic: Rosalie Iemhoff (Utrecht) Language: Daniel Altshuler (Duesseldorf) Computation: Samson Abramsky (Oxford) Invited Lectures: Balder ten Cate (Santa Cruz) Agata Ciabattoni (Vienna) Thomas Colcombet (Paris) Galit Sassoon (Jerusalem) Alexandra Silva (Nijmegen) Sergei Tatevosov (Moscow) WORKSHOPS There will also be a workshop on Algebraic Proof Theory organized by A. Ciabattoni and R. Iemhoff and a workshop on Aspect organized by D. Altshuler, D. Hole and S. Tatevosov. PUBLICATION INFORMATION Post-proceedings of the symposium will be published in the LNCS series of Springer. IMPORTANT DATES Submission deadline: May 1, 2013 Notification: July 1, 2013 Final abstracts due: August 1, 2013 Registration deadline: September 1, 2013 Symposium: September 23-27, 2013 Programme and submission details can be found at: http://www.illc.uva.nl/Tbilisi/Tbilisi2013/ ********************************************************************* [For admin and other information see: http://www.mta.ca/~cat-dist/ ]