Logic List Mailing Archive

TbiLLC 2019: Tbilisi Symposium on Logic, Language & Computation

16-20 Sep 2019
Batumi, Georgia

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

--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/

provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam