26-30 Sep 2011
Kutaisi, Georgia
***************************************************************************
3rd Call for Papers: EXTENDED SUBMISSION DEADLINE
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
Agi Kurucz Logic
Prakash Panangaden Computation
Nikolaj Bjorner Computation
Vangelis Paschos Computation
Bart Geurts Language
Two Special sessions:
A special session on Frames, chaired by Sebastian Loebner and a special session
on Logic, Information, and Agency chaired by Alexandru Baltag & Sonja Smets.
Full details below.
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 15, 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/
SPECIAL SESSIONS
**Special session on Frames, chaired by Sebastian Loebner**
The workshop deals with theory and application of frames (in the sense of
Barsalou: attribute-value structures with functional attributes) in the areas
of Language (Semantics, Syntax, ...), Logic, Computation, Mathematics, and
Cognitive psychology. Talks are invited that deal with topics such as
* formal modeling and semantics of frames
* dynamic modeling of verbs
* extension of frame theory to different types of concepts
* dynamic models of frames
* computational aspects of frames
* frames as representations in lexical and compositional semantics, syntax,
morphology, phonology, etc.
Invited Speakers:
TBA
Call for Contributed Workshop Talks: Please submit your abstract (max. 2 pages)
by 15 May 2011 via the conference' easychair system where you can select the
category "Frames":
http://www.easychair.org/conferences/?conf=tbillc2011
Registration: All participants registered via the main conference site can
attend the workshop, see:
http://www.illc.uva.nl/Tbilisi/Tbilisi2011/#/Registration/
Important Dates:
Workshop Submission deadline: 15 May 2011
Workshop Notification of the acceptance: 15 June 2011
Final abstracts due: 1 August 2011
Early Registration deadline: 15 August 2011
**Special session on Logic, Information, and Agency chaired by Alexandru Baltag
& Sonja Smets**
We ask for submissions applying formal logical methods in a broad sense
(including non-classical and modal logics, epistemic game theory, algebraic and
categorical logic, probabilistic approaches etc) to reasoning about information
and agency. Topics of interest include:
* Modal Logics for Agency
* Reasoning about higher-order knowledge or beliefs in Multi-agent Systems
* Logics for Information Updates (learning, belief revision, theory change,
conditioning etc.)
* Logical approaches to strategies, preferences and rationality in
Epistemic Game Theory
* Logics for reasoning about protocols, planning and intentions.
Invited Speakers:
Dietmar Berwanger (LSV Cachan)
Jan van Eijck (CWI Amsterdam)
Valentin Goranko (t.b.c.), (Technical University of Denmark)
Emiliano Lorini (Université Paul Sabatier Toulouse)
Alessandra Palmigiano (University of Amsterdam)
Call for Contributed Workshop Talks: Please submit your abstract (max. 2 pages)
by 15 June 2011 via the conference' easychair system where you can select the
category "Special session on Logic, Information, and Agency":
http://www.easychair.org/conferences/?conf=tbillc2011
Registration: All participants registered via the main conference site can
attend the workshop, see:
http://www.illc.uva.nl/Tbilisi/Tbilisi2011/#/Registration/
Important Dates:
Workshop Submission deadline: 15 June 2011
Workshop Notification of the acceptance: 15 July 2011
Final abstracts due: 1 August 2011
Early Registration deadline: 15 August 2011
---------------------------------------------------------------------------