The thirteenth TbiLLC may be of interest to finite model theorists. This second call for papers has added information on location and workshops. --- THE THIRTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND COMPUTATION Second Call for Papers 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 logic, language, 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 tutorials and a series of invited lectures. 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) WORKSHOPS There will be two workshops: "Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM)" Conveners: Berit Gehrke (HU Berlin) and Fabian Bross (University Stuttgart) For more details see the workshop webpage https://sites.google.com/view/sspam2019/call-for-papers and "Topology and Modal Logic" Convener: Adam Bjorndahl (Carnegie Mellon University) 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/ LOCATION Castello Mare Hotel & Wellness Resort - Tsikhisdziri, Batumi, Georgia http://castellomare.com