posted by user: grupocole || 3594 views || tracked by 4 users: [display]

Tbilisi 2017 : The Twelfth International Tbilisi Symposium on Language, Logic and Computation


When Sep 18, 2017 - Sep 22, 2017
Where Kakheti, Georgia
Submission Deadline Mar 15, 2017
Notification Due May 15, 2017
Final Version Due Jun 15, 2017
Categories    NLP   theoretical computer science

Call For Papers

1st Call for Papers


18-22 September, 2017
Kakheti, Georgia

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:


The programme will include the following tutorials and a series of invited lecturers.


Language: Jakub Szymanik (University of Amsterdam)
Logic: Sam van Gool (City College of New York)
Computation: TBA

Invited speakers:
Gemma Boleda (Universitat Pompeu Fabra)
Ruth Kempson (King's College, London)

Alexander Kurz (University of Leicester)
Eric Pacuit (University of Maryland, tbc)

Dexter Kozen (Cornell University)
Alex Simpson (University of Ljubljana)


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:

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)


Post-proceedings of the symposium will be published in the LNCS series of


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:

Related Resources

ACL 2020   Annual Conference of the Association for Computational Linguistics
TMPA 2019   Software Testing, Machine Learning and Complex Process Analysis
SR 2019   14th International Silk Road Conference on Globalization: Trends and Perspectives
LREC 2020   12th Conference on Language Resources and Evaluation
HALC 2019   4th International Conference on History, Art, Literature and Culture in South Caucasus and Black Sea Region
user2agent 2019   IUI 2019 Workshop on User-Aware Conversational Agents
NCO 2020   6th International Conference on Signal and Image Processing
ACM--NLPIR--Ei Compendex and Scopus 2020   ACM--2020 4th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2020)--Scopus, Ei Compendex
PPSN 2020   Parallel Problem Solving from Nature
FinancialNews&Data-IEEE-BigData 2019   The 3rd International Workshop on Big Data for Financial News and Data