THE ELEVENTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND COMPUTATION
21-26 September 2015
Tbilisi, Georgia
http://www.illc.uva.nl/Tbilisi/Tbilisi2015
The Eleventh International Tbilisi Symposium on Language, Logic and Computation will be held on 21-26 September 2015 in Tbilisi, 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:
* Algorithmic game theory
* Computational social choice
* Constructive, modal and algebraic logic
* Formal models of multiagent systems
* Historical linguistics, history of logic
* Information retrieval, query answer systems
* Language evolution and learnability
* Linguistic typology and semantic universals
* Logic, games, and formal pragmatics
* Logics for artificial intelligence
* Natural language syntax, semantics, and pragmatics
* Natural logic, inference and entailment in natural language
* Distributional and probabilistic models of information and meaning
Authors can submit an abstract of three pages (including references) at the EasyChair conference system here:
http://www.easychair.org/conferences/?conf=tbillc2015
PROGRAMME
The programme will include the following invited lectures and tutorials.
Tutorials:
Logic: Brunella Gerla (University of Insubria)
Language: Lisa Matthewson (University of British Columbia)
Computation: Joel Ouaknine (Oxford University)
Invited Lectures:
Rajesh Bhatt (University of Massachusetts )
Melvin Fitting (Graduate School and University Center of New York)
Helle Hansen (Delft University of Technology)
George Metcalfe (Bern University)
Sarah Murray (Cornell University)
Mehrnoosh Sadrzadeh (Queen Mary, University of London)
Workshops
There will also be a workshop entitled: “Automata and Coalgebra”, organised by Helle Hansen and Alexandra Silva, as well as a workshop entitled: "How to make things happen in grammar: Encoding Obligatoriness”, organised by Rajesh Bhatt and Vincent Homer. More information will be available on the TbiLLC website: http://www.illc.uva.nl/Tbilisi/Tbilisi2015 .
PUBLICATION INFORMATION
Post-proceedings of the symposium will be published in the LNCS series of Springer.
IMPORTANT DATES
Submission deadline: 1 March 2015
Notification: 1 May 2015
Final abstracts due: 1 June 2015
Registration deadline: 1 August 2015
Symposium: September 21-26, 2015
Programme and submission details can be found at:
http://www.illc.uva.nl/Tbilisi/Tbilisi2015/
