Logic List Mailing Archive

TbiLLC 2011: Ninth Tbilisi Symposium on Language, Logic and Computation

26-30 Sep 2011
Kutaisi, Georgia

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

               THE NINTH INTERNATIONAL TBILISI SYMPOSIUM
                   ON LANGUAGE, LOGIC AND COMPUTATION

                        26 -- 30 September 2011
                            Kutaisi, Georgia

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

The Ninth International Tbilisi Symposium on Language, Logic and Computation 
will be held on 26 -- 30 September 2011 in Kutaisi, Georgia. The Programme 
Committee invites submissions for contributions to 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
     * Constructive, modal and algebraic logic
     * Linguistic typology and semantic universals
     * Logics for artificial intelligence
     * Information retrieval, query answer systems
     * Logic, games, and formal pragmatics
     * Language evolution and learnability
     * Computational social choice
     * Historical linguistics, history of logic
     * Algorithmic game theory
     * Formal models of multiagent systems

Authors can submit an anonymous abstract of two pages (800 words) at the 
EasyChair conference system here:

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

PROGRAMME

The programme will at least include the following invited speakers for the 
lectures and tutorials.

Tutorials:
Enzo Marra		Logic
Ulle Endriss 		Computation
Daniel Hole 		Language

Invited Lectures:
Alexandru Baltag 	Logic
Prakash Panangaden 	Computation
Bart Geurts 		Language

PUBLICATION INFORMATION

A selection of accepted submissions will be published after a second review in 
the LNAI series of Springer.

IMPORTANT DATES

Submission deadline:		May 1, 2011
Notification of acceptance:    	July 1, 2011
Final abstracts due: 		August 1, 2011
Registration deadline: 		September 1, 2011
Symposium: 			September 26-30, 2011

Programme and submission details can be found at:

 	http://www.illc.uva.nl/Tbilisi/Tbilisi2011/
----------------------------------------------------------------------------