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: ( The channel currently holds a number of videos from the AISB 2010 Convention. Videos include the AISB round t...



AISB event Bulletin Item

GLOBAN 2008 Summer School Announcement


                             GLOBAN 2008
        "The Global Computing Approach to Analysis of Systems"
                    Warsaw, September 22-26, 2008


The GLOBAN 2008 summer school will give PhD students and other young
researchers a comprehensive overview of contemporary techniques for analysis
and verification of models for global computing systems and the mobile
software that realises them.

The school is organised by Institute of Informatics, Warsaw University, in
association with the MOBIUS and SENSORIA 6th Framework Programme projects.

- Rocco De Nicola
  Session Centered Calculi for Service Oriented Computing
- Andrew D. Gordon
  Declarative Data Centres
- Reiko Heckel
  Foundations of Model Transformations: A Lambda Calculus for MDD?
- Martin Hofmann
  Type-based Verification in Global Computing
- Joost-Pieter Katoen
  Performance Analysis and Model Checking - A Perfect Match
- Joe Kiniry
  Verification-centric Software Engineering
- Flemming Nielson
  Static Analysis of Services
- Andrei Sabelfeld
  Information-flow Security

Project presentations by:

- Gilles Barthe
  Mobility, Ubiquity and Security: Proof-carrying Code for Java on Mobile
- Martin Wirsing
  SENSORIA: Software Engineering for Service-Oriented Overlay Computers

Steering Committee:

- Gilles Barthe
- Flemming Nielson
- Ian Stark
- Andrzej Tarlecki
- Martin Wirsing

Important dates:

Early registration deadline:                 May 15, 2008
Grant application deadline:                  May 15, 2008
Notification of early qualifying decisions:  May 26, 2008
Notification of grant decisions:             May 26, 2008
Registration deadline:                       July 3, 2008
Notification of qualifying decisions:        July 14, 2008
Summer school:                               September 22-26, 2008