Logic List Mailing Archive

TbiLLC 2015: Tbilisi Symposium on Language, Logic and Computation

21-26 Sep 2015
Tbilisi, Georgia

2nd Call for Papers

THE ELEVENTH INTERNATIONAL TBILISI SYMPOSIUM ON LANGUAGE, LOGIC AND
COMPUTATION

21-26 September 2015
Tbilisi, Georgia

http://www.illc.uva.nl/Tbilisi/Tbilisi2015
***********************************************************************
CALL FOR PAPERS

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 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/Tbilisi201
<http://www.illc.uva.nl/Tbilisi/Tbilisi2015>5 .


Programme Committee

Daniel Altshuler (Chair, Heinrich-Heine-University Düsseldorf)
Nick Bezhanishvili (ILLC, University of Amsterdam)
Agata Ciabattoni (TU Vienna)
Petr Cintula (Czech Academy of Science)
Hana Filip (Heinrich-Heine-University Düsseldorf)
Davide Grossi (University of Liverpool)
Dag Haug (University of Oslo)
Achim Jung (University of Birmingham)
Dexter Kozen (Cornell University)
Marcus Kracht (Bielefeld University)
Clemens Kupke (University of Oxford)
Alda Mari (Institut Jean Nicod)
Roumi Pancheva (USC)
Jessica Rett (UCLA)
Alexandra Silva (Nijmegen University)
Alex Simpson (University of Edinburgh)
Sonja Smets (ILLC, University of Amsterdam)
Luca Spada (Chair, ILLC, University of Amsterdam and University of Salerno)
Mark Steedman (University of Edinburgh)
Matthew Stone (Rutgers University)
Henriette de Swart (Utrecht University)
Judith Tonhauser (Ohio State University)
Eytan Zweig (University of York)


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/