[TYPES/announce] TbiLLC 2019/1st CfP

[Alex Simpson]

The THIRTEENTH INTERNATIONAL TBILISI SYMPOSIUM ON LOGIC, LANGUAGE AND 
COMPUTATION may be of interest to subscribers to types.

**************************************************************
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/