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


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


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


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


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


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


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


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


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



AISB event Bulletin Item

LAST CALL FOR PAPERS: Methods for Modalities, 9-12 Nov 2011, SPAIN


7th Workshop on METHODS FOR MODALITIES (M4M-7), Osuna, Spain

The 7th Methods for Modalities workshop will take place at a University of Sevilla college in Osuna,
a provincial town in between Malaga and Sevilla. Confirmed invited speakers for the workshop are:

     * Marcelo Finger, University of Sao Paulo, Brazil
     * Melvin Fitting, City University of New York, USA
     * David Gabelaia, Academy of Sciences, Georgia
     * Andreas Herzig, IRIT, Toulouse, France
     * Thomas Schwentick, Technical University of Dortmund, Germany

The M4M workshop will be preceded by a one-day course for doctorate students and interested 
researchers, on 9 November 2011. The PhD school will be organized at the University of Malaga. 
The lecturers at the PhD school will be:

     * Alexandru Baltag, Oxford University & University of Amsterdam,
       and Sonja Smets, University of Groningen
     * Yde Venema, University of Amsterdam

Part of M4M will be a half-day workshop LAMAS (Logical Aspects of Multi-Agent Systems), with a 
separate CFP. The proceedings of M4M Osuna will appear as a volume in the Electronic Notes in 
Theoretical Computer Science (ENTCS) series. This includes the accepted LAMAS submissions. Papers 
cannot be simultaneously submitted to M4M and LAMAS.

The workshop METHODS FOR MODALITIES (M4M) aims to bring together researchers interested in 
developing algorithms, verification methods and tools based on modal logics. Here the term "modal 
logics" is conceived broadly, including temporal logic, description logic, guarded fragments, 
conditional logic, temporal and hybrid logic, etc.

We strongly encourage young researchers and students to submit papers, also about experimental and 
prototypical software tools which are related to modal logics.

Paper Submissions
Authors are invited to submit papers in the following three categories.

- Regular papers up to 15 pages, describing original research.

- System descriptions of up to 12 pages, describing new systems or significant upgrades of existing ones.

- Presentation-only papers, describing work recently published or submitted (with a 15 page limit). These will not be included in the proceedings, but pre-prints or post-prints can be made available to participants.

Papers should be prepared in ENTCS proceedings style, and should be submitted as .pdf. Submissions 
should be made via EasyChair at the following address:


The deadline for submission was 15 July and has been postponed until
1 August. (This is also the new LAMAS submission deadline.)

Important dates
     Deadline for submissions: August 1, 2011
     Notification: September 13, 2011
     Camera ready versions: September 27, 2011
     PhD school: November 9, 2011
     Workshop dates: November 10-12, 2011