08 March 2015

Call for papers: Tbilisi Symposium on Language, Logic and Computation

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:
The programme will include the following invited lectures and 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)
There will also be a workshop on “Automata and Coalgebra”, organised by Helle Hansen and Alexandra Silva and a workshop on "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 .
Post-proceedings of the symposium will be published in the LNCS series of Springer.
Submission deadline: 31 March 2015
Notification: 31 May 2015
Final abstracts due: 1 July 2015
Registration deadline: 1 August 2015
Symposium: September 21-26, 2015
Programme and submission details can be found at: