Logic List Mailing Archive

TbiLLC 2017: Language, Logic and Computation

18-22 Sep 2017
Kakheti, Georgia

Last 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 and University of Amsterdam)
Computation: Ana Sokolova (University of Salzburg)


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)

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 Daniel Hole (University of Stuttgart)
and a workshop on Logic & Computation organised by Alex Simpson (University
of Ljubljana)
and Alexander Kurz (University of Leicester).

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: 1 April 2017
Notification: 1 June 2017
Final abstracts due: 1 July 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/
--
[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