Logic List Mailing Archive

TbiLLC 2017: Tbilisi Symposium on Language, Logic and Computation

18-22 Sep 2017
Kakheti, Georgia

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 fuer 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/
--
[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