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

2nd CALL FOR PAPERS: 8th Scandinavian Logic Symposium, 20-21 Aug 2012, Roskilde, DENMARK


After a gap of fifteen years, the Scandinavian Logic Symposium is back. The Symposium is the first 
major initiative of the newly revived Scandinavian Logic Society (SLS, http://scandinavianlogic.org/)
and will be held at Roskilde University (RUC), Denmark.

As with previous editions of this conference, the aim of the programme is to reflect current 
activity in logic in our part of the world. So we hope that participants from Scandinavia, the 
Baltic countries and Northwestern Russia will take the opportunity to contribute a talk and to 
meet with fellow logicians from the area. But needless to say, we also extend a warm welcome to 
logicians from further afield and plan to present a varied and interesting collection of invited 
and contributed talks.


The scope of SLS 2012 is broad, ranging over the whole area of mathematical and philosophical 
logic, and logical methods in computer science. Suitable topics include (but are not limited to):

  *   Proof Theory and Constructivism
  *   Model Theory (including Finite Model Theory)
  *   Set Theory
  *   Computability Theory
  *   Categorical Logic
  *   Logic and Provability
  *   Logic and Computer Science
  *   Logic and Linguistics
  *   Modal, Hybrid, Temporal, and Description Logic
  *   Logics of Games, Dynamics and Interaction
  *   Philosophy of Mathematics
  *   Philosophy of Computation
  *   Philosophy of Logic
  *   Philosophical Logic


7th Scandinavian Logic Symposium: Uppsala in 1996 6th Scandinavian Logic Symposium: Telemark in 
1982 5th Scandinavian Logic Symposium: Aalborg in 1979 4th Scandinavian Logic Symposium: Jyvskyl 
in 1976 3rd Scandinavian Logic Symposium: Uppsala in 1973 2nd Scandinavian Logic Symposium: Oslo 
in 1971 1st Scandinavian Logic Symposium: bo in 1968 The proceedings of several of these meetings 
have been published in book form.


The Program Committee is delighted to announce the names of the four invited speakers:

  *   Nikolaj Bjorner
  *   Rosalie Iemhoff (sponsored by The Danish Network for the 
History and Philosophy of Mathematics)
  *   Per Martin-Lf
  *   Boban Velickovic

On August 22nd,  the day after the symposium finishes, a number of tutorials for PhD-students (or 
anyone else who is interested) will be given. These are intended to start from a relatively 
elementary level and lead on to current research problems.
The following tutorial lectures have been confirmed so far:

  *   Lars Kristiansen - "Honest subrecursive degree theory"
  *   Sara Negri   - "Labelled proof systems for modal logic"
  *   M. H. Srensen - "Curry-Howard Isomorphism"

Also note that Advances in Modal Logic (AiML) will be held on 22-25 August 2012, Copenhagen, 
Denmark. URL: http://hylocore.ruc.dk/aiml2012/


Co-chairs: Neil Jones (Copenhagen) and Erik Palmgren (Stockholm)

Torben Brauner (Roskilde)
Peter Dybjer (Chalmers)
Lars Kristiansen (Oslo)
ystein Linnebo (Birkbeck)
Sara Negri (Helsinki)
Dag Normann (Oslo)
Asger Trnquist, (Vienna)
Jouko Vnnen (Helsinki)


Patrick Blackburn (RUC), Klaus Frovin Jrgensen (RUC), Stig Andur Petersen (RUC)


Abstracts of talks should be submitted by May 1, 2012 using the EasyChair system
The abstracts may not exceed 3 pages (including bibliography) and should be in PDF format.


Roskilde University (RUC) is situated at Trekroner, a small town 20 minutes by train from Central 
Copenhagen, and five minutes by train from Roskilde.


Most people who work at RUC and almost all the RUC students live in Copenhagen. Getting to RUC is 
an easy train journey from the centre of Copenhagen. We anticipate that most conference attendees 
will book hotels in central Copenhagen, where there are many hotels in many price ranges. Hotel 
accommodation can also be found in Roskilde, though there the options are more limited.


The conference website will be found at:
Details concerning registration will be posted there in due course.