Call for Proposals

AISB-50: a convention commemorating both 50 years since the founding of the society for the study of Artificial Intelligence and the Simulation of Behaviour (the AISB) and sixty years since the death of Alan Turing, founding fathe...


Read More...

Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


Read More...

AISB YouTube Channel

The AISB has launched a YouTube channel: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...


Read More...

Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  


Read More...
0123

Notice

  • Print

AISB event Bulletin Item

2nd CALL FOR PAPERS: "Language, Logic and Computation", 26--30 September 2011, GEORGIA (RUSSIA)

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

Kutaisi, Georgia 

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

There will be a special session on Frames chaired by Sebastian Loebner and a special session on Logic, Information, and Agency chaired by Alexandru Baltag & Sonja Smets.

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