Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Erden in AI roundtab...

On Friday 4th September, philosopher and AISB member Dr Yasemin J Erden, participated in an AI roundtable at Second Home, hosted by Index Ventures and SwiftKey.   Joining her on the panel were colleagues from academia and indu...


Read More...

AISB Convention 2016

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 2016 Convention will be held at the Uni...


Read More...

Bishop and AI news

Stephen Hawking thinks computers may surpass human intelligence and take over the world. This view is based on the ideology that all aspects of human mentality will eventually be realised by a program running on a suitable compu...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...

Al-Rifaie on BBC

AISB Committee member and Research Fellow at Goldsmiths, University of London, Dr Mohammad Majid al-Rifaie was interviewed by the BBC (in Farsi) along with his colleague Mohammad Ali Javaheri Javid on the 6 November 2014. He was a...


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

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