[TYPES/announce] TbILLC 2017: 1st Call for Papers

[Alexandra Silva]

1st 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)
    Computation: TBA
    
    
    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, tbc)
    
    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  by Daniel Hole (University of Stuttgart).
    
    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: 15 March 2017
    Notification: 15 May 2017
    Final abstracts due: 15 June 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/