[TYPES/announce] TbiLLC2019: Final call for papers (extended deadline)

[Alex Simpson]

This conference, which includes talks on logic and computation, will be 
of interest to some types subscribers. Further attractions are the 
location and the famed Georgian hospitality. The deadline for the 
submission of three-page abstracts has been extended by two weeks to 
15th April.

---

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 - EXTENDED DEADLINE (new deadline 15 April 2019)

The Thirteenth International Tbilisi Symposium on Logic, Language, and 
Computation will be held 16-20 September 2019 in Castello Mare Hotel in 
Tsikhisdziri near 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

Submissions must be original, unpublished work

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)

WORKSHOPS

There will be two workshops:

"Syntax, Semantics, and Pragmatics of Aspect Across Modalities (SSPAM)"

Organizers: 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"

Organizer: Adam Bjorndahl (Carnegie Mellon University)

Speakers: Tamar Lando (Columbia University),
Aybüke Özgün (ILLC, University of Amsterdam),
Others to be confirmed.

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: 15 April 2019 (Extended!)
Notification: 3 June 2019
Final abstracts due: 1 July 2019
Early registration deadline: 31 July 2019
Late registration deadline: 31 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

Information about getting to the conference site will be made available 
on the TbiLLC website.