The THIRTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION may be of interest to finite-model theorists.
************************************************************** First Call for Papers
THE THIRTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION
16-20 September, 2019 Batumi, Georgia
http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
***********************************************************************
CALL FOR PAPERS
The Thirteenth International Tbilisi Symposium on Logic, Language, and Computation will be held 16-20 September 2019 in Batumi, 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 and computer science * Constructive, modal and algebraic logic * Categorical logic * Algorithmic game theory * Computational social choice * Formal models of multiagent systems * Information retrieval, query answer systems * Distributional and probabilistic models of information, meaning and computation * Models of computation
Authors can submit an abstract of three pages (including references) at the EasyChair conference system here:
https://easychair.org/conferences/?conf=tbillc2019
PROGRAMME
The programme will include the following tutorials and a series of invited lecturers.
Tutorials:
Logic: Graham Leigh (University of Gothenburg) Language: Fabian Bross (University of Stuttgart) Computation: Daniela Petrisan (CNRS, Universit?? Paris Diderot)
Invited speakers:
Logic Philippe Balbiani (CNRS, Universit?? Toulouse III), Adam Bjorndahl (Carnegie Mellon University)
Language Berit Gehrke (HU Berlin), Thomas Ede Zimmermann (University of Frankfurt)
Computation Libor Barto (Charles University Prague), Elham Kashefi (CNRS, University of Edinburgh)
There will be two workshops (on Language and on Logic and Computation) embedded in the conference programme.
More information will be available on the TbiLLC website: http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
Programme Committee
Bahareh Afshari (University of Gothenburg) Rusiko Asatiani (Tbilisi State University) Guram Bezhanishvili (New Mexico State University) Nick Bezhanishvili (University of Amsterdam) Valeria de Paiva (Nuance Communications) David Gabelaia (TSU Rasmadze Mathematical Institute) Katharina Hartmann (University of Frankfurt/Main) Jules Hedges (University of Oxford) Daniel Hole (co-chair, University of Stuttgart) Sebastian L??bner (University of D??sseldorf) Matteo Mio (CNRS/ENS-Lyon) Sara Negri (University of Helsinki) Sebastian Pad?? (University of Stuttgart) Alessandra Palmigiano (Technical University of Delft) Roland Pfau (University of Amsterdam) Martin Sch??fer (University of Anglia Ruskin) Lutz Schr??der (University of Erlangen-N??rnberg) Kerstin Schwabe (Leibniz-ZAS Berlin) Alexandra Silva (UC London) Alex Simpson (co-chair, University of Ljubljana) Luca Spada (University of Salerno) Ronnie B. Wilbur (Purdue University) Fan Yang (University of Helsinki)
PUBLICATION INFORMATION
Post-proceedings of the symposium will be published in the LNCS series of Springer.
IMPORTANT DATES
Submission deadline: 1 April 2019 Notification: 3 June 2019 Final abstracts due: 1 July 2019 Registration deadline: 1 August 2019 Symposium: 16-20 September 2019
Programme and submission details can be found at: http://events.illc.uva.nl/Tbilisi/Tbilisi2019/
[For admin and other information see: http://www.mta.ca/%7Ecat-dist/ ]