18-22 Sep 2017
Kakheti, Georgia
Last Call for Papers THE TWELFTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION 18-22 September, 2017 Kakheti, Georgia http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ *********************************************************************** CALL FOR PAPERS The Twelfth International Tbilisi Symposium on Language, Logic and Computation will be held on 18-22 September 2017 in Kakheti, 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: * Natural language syntax, semantics, and pragmatics * Linguistic typology and semantic universals * Language evolution and learnability * Historical linguistics, history of logic * Natural logic, inference and entailment in natural language * Logic, games, and formal pragmatics * Logics for artificial intelligence * Constructive, modal and algebraic logic * Algorithmic game theory * Computational social choice * Formal models of multiagent systems * Information retrieval, query answer systems * Distributional and probabilistic models of information and meaning Authors can submit an abstract of three pages (including references) at the EasyChair conference system here: https://easychair.org/conferences/?conf=tbillc2017 PROGRAMME The programme will include the following tutorials and a series of invited lecturers. Tutorials: Language: Jakub Szymanik (University of Amsterdam) Logic: Sam van Gool (City College of New York and University of Amsterdam) Computation: Ana Sokolova (University of Salzburg) Invited speakers: Language: Gemma Boleda (Universitat Pompeu Fabra) Ruth Kempson (King's College, London) Logic: Alexander Kurz (University of Leicester) Eric Pacuit (University of Maryland) Computation: Dexter Kozen (Cornell University) Alex Simpson (University of Ljubljana) Workshops There will also be a workshop on "Language entitled Signs and gestures -- exploring the divide between sign language and speech-accompanying gestures" organised by Daniel Hole (University of Stuttgart) and a workshop on Logic & Computation organised by Alex Simpson (University of Ljubljana) and Alexander Kurz (University of Leicester). More information will be available on the TbiLLC website: http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ Programme Committee Samson Abramsky (Oxford University) Kata Balogh (University of Duesseldorf) Guram Bezhanishvili (New Mexico State University) Nick Bezhanishvili (ILLC, University of Amsterdam) Rajesh Bhatt (UMass Amherst) Filippo Bonchi (University of Pisa) Valeria De Paiva (University of Birmingham) David Gabelaia (TSU, Razmadze Mathematical Institute) Brunella Gerla (University of Insubria) Nina Gierasimczuk (ILLC, University of Amsterdam) Helle Hvid Hansen (Delft University of Technology) Daniel Hole (University of Stuttgart) George Metcalfe (University of Bern) Alessandra Palmigiano (Delft University of Technology) Wiebke Petersen (Chair, University of Duesseldorf) Mehrnoosh Sadrzadeh (Queen Mary University of London) Alexandra Silva (Chair, University College London) Sonja Smets (ILLC, University of Amsterdam) Rui Soares Barbosa (University of Oxford) Luca Spada (University of Salerno) Carla Umbach (Zentrum für Allgemeine Sprachwissenschaft, ZAS, Berlin) Galit W. Sassoon (Bar Ilan University) Henk Zeevat (ILLC, University of Amsterdam) PUBLICATION INFORMATION Post-proceedings of the symposium will be published in the LNCS series of Springer. IMPORTANT DATES Submission deadline: 1 April 2017 Notification: 1 June 2017 Final abstracts due: 1 July 2017 Registration deadline: 1 August 2017 Symposium: September 18-22, 2017 Programme and submission details can be found at: http://events.illc.uva.nl/Tbilisi/Tbilisi2017/ -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam