AISB Convention 2015

Call for Symposium Proposals: The AISB Convention is an annual conference covering the range of AI and Cognitive Science, organised by the Society for the Study of Artificial Intelligence and Simulation of Behaviour. The 2015 Con...


Read More...

Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


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...
01234

Notice

AISB event Bulletin Item

3rd CALL FOR PAPERS: Language, Logic and Computation, 26--30 September 2011, RUSSIA

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

9th International Tbilisi Symposium on Language, Logic and Computation, Kutaisi, Georgia

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