TbiLLC: Tbilisi Symposium on Logic, Language, and Computation

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2014 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
TbiLLC 2013 Tenth International Tbilisi Symposium on Language, Logic and Computation
Sep 23, 2013 - Sep 27, 2013 Georgia May 1, 2013
 
 

Present CFP : 2013

***********************************************************************
1st Call for Papers

THE TENTH INTERNATIONAL TBILISI SYMPOSIUM ON
LANGUAGE, LOGIC AND COMPUTATION

23-27 September 2013
Georgia

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

The Tenth International Tbilisi Symposium on Language, Logic and
Computation will be held on 23-27 September 2013 in 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

Authors can submit an abstract of four pages (including references) at
the EasyChair conference system here:

http://www.easychair.org/conferences/?conf=tbillc2013

PROGRAMME

The programme will include the following invited lectures and
tutorials.

Tutorials:

Logic: Rosalie Iemhoff (Utrecht)
Language: Daniel Altshuler (Duesseldorf)
Computation: Samson Abramsky (Oxford)

Invited Lectures:

Balder ten Cate (Santa Cruz)
Agata Ciabattoni (Vienna)
Thomas Colcombet (Paris)
Galit Sassoon (Jerusalem)
Alexandra Silva (Nijmegen)
Sergei Tatevosov (Moscow)

WORKSHOPS

There will also be a workshop on Algebraic Proof Theory organized by
A. Ciabattoni and R. Iemhoff and a workshop on Aspect organized by
D. Altshuler, D. Hole and S. Tatevosov.

PUBLICATION INFORMATION

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

IMPORTANT DATES

Submission deadline: May 1, 2013
Notification: July 1, 2013
Final abstracts due: August 1, 2013
Registration deadline: September 1, 2013
Symposium: September 23-27, 2013

Programme and submission details can be found at:

http://www.illc.uva.nl/Tbilisi/Tbilisi2013/
*********************************************************************
 

Related Resources

LREC 2020   12th Conference on Language Resources and Evaluation
SYNASC 2019   International Symposium on Symbolic and Numeric Algorithms for Scientific Computing
KLP@SAC 2019   Knowledge and Language Processing Track @ The 34th ACM Symposium on Applied Computing - ACM SAC 2019
RP 2019   13th International Conference on Reachability Problems (RP 2019)
SOFE 2019   5th International Conference on Software Engineering
TMPA 2019   Software Testing, Machine Learning and Complex Process Analysis
user2agent 2019   IUI 2019 Workshop on User-Aware Conversational Agents
INLG 2019   12th International Conference on Natural Language Generation
NSURL 2019   The First Workshop on NLP Solutions for Under Resourced Languages
SR 2019   14th International Silk Road Conference on Globalization: Trends and Perspectives