posted by user: peterljunglof || 6549 views || tracked by 7 users: [display]

TbiLLC 2013 : Tenth International Tbilisi Symposium on Language, Logic and Computation

FacebookTwitterLinkedInGoogle


Conference Series : Tbilisi Symposium on Logic, Language, and Computation
 
Link: http://www.illc.uva.nl/Tbilisi/Tbilisi2013/
 
When Sep 23, 2013 - Sep 27, 2013
Where Georgia
Submission Deadline May 1, 2013
Notification Due Jul 1, 2013
Final Version Due Aug 1, 2013
Categories    language   logic   computation   NLP
 

Call For Papers

***********************************************************************
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

ICAISC 2024   International Conference on Artificial Intelligence and Soft Computing
ACM-Ei/Scopus-CCISS 2024   2024 International Conference on Computing, Information Science and System (CCISS 2024)
IEA/AIE 2024   37th International Conference on Industrial, Engineering & Other Applications of Applied Intelligent Systems
NLDB 2024   The 29th International Conference on Natural Language & Information Systems
NAFIPS 2024   International Conference on Fuzzy Systems, Soft Computing, and Explainable AI
COMSCI 2024   3rd International Conference on Computer Science and Information Technology
ECNLPIR 2024   2024 European Conference on Natural Language Processing and Information Retrieval (ECNLPIR 2024)
COMIT 2024   8th International Conference on Computer Science and Information Technology
HUSO 2024   6th Canadian International Conference on Humanities & Social Sciences 2024
ACM NLPIR 2024   ACM--2024 8th International Conference on Natural Language Processing and Information Retrieval (NLPIR 2024)