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

Announcement: USI-CMU Summe School on Dependable Computer Systems

** Application Deadline: May 20, 2007 **

     *                   USI-CMU SUMMER SCHOOL ON                *
     *                 DEPENDABLE COMPUTER SYSTEMS               *
     *                                                           *
     *                      *
     *                                                           *
     *                    University of Lugano                   *
     *                                                           *
     *            9-13 July 2007, Lugano, Switzerland            *
     *                                                           *
     *                    Organized jointly by:                  *
     *     Faculty of Informatics, University of Lugano          *
     *  School of Computer Science, Carnegie Mellon University   *
     *                                                           *
     *                    *** Announcement ***                   *

The second summer school on Dependable Computer Systems will
be held on the campus of the University of Lugano, Switzerland.
The summer school is intended for students, researchers, and
professionals interested in the construction of reliable
computer systems. The focus of the school will be on all aspects
of computer systems construction: system design, analysis,
verification and implementation. The lectures will be given by
internationally renowned researchers from Carnegie Mellon University,
School of Computer Science, Pittsburgh, USA, and the
University of Lugano, Informatics Department, Switzerland
who have made significant contributions to the field of
computer systems. The summer school is a good opportunity for
quickly acquiring background knowledge in important areas both
in theory and practice of computer systems. The summer school is
especially directed to Ph.D. students who are conducting or intend
to conduct research in the area of computer systems. Industry
professionals will also find it useful to attend.


# Stephen Brookes, Carnegie Mellon University,
Topic: Concurrent Separation Logic: Reasoning About Parallel Programs 
with Shared Mutable State

# Edmund Clarke, Carnegie Mellon University,
Topic: Recent Advances in Model Checking

# Mauro Pezze, University of Milano Bicocca and University of Lugano,
Topic: Dynamic Analysis and Self Healing Software

# Bill Scherlis, Carnegie Mellon University,
Topic: Prospects for Intent-based Software Assurance

# Natasha Sharygina, University of Lugano and Carnegie Mellon University,
Topic: Software Verification

# Antonio Carzaniga, University of Lugano,

Topic: Content-based Networking


The school takes place in Lugano, in the Italian part of
Switzerland, easily reachable through Milan and Zurich airports.
Accommodations have been arranged at nearby hotels.


The Summer School is jointly organized by:

* Faculty of Informatics, University of Lugano (USI)
* School of Computer Science, Carnegie Mellon University (CMU)

Advising Board:

* Mehdi Jazayeri (USI)
* Willy Zwaenepoel (EPFL)
* Thomas Gross (ETHZ)

Steering Committee:

* Natasha Sharygina (USI and CMU)
* Jeannette Wing (CMU)

Important Dates

The number of participants is strictly limited to ensure quality
interaction with the lecturers and the rest of the audience;
all applications must be accompanied by a letter of recommendation
from the applicant's supervisor or manager.

The deadlines for Application, and Registration are as follows:

* Application                    May   20
* Notification of Acceptance     May   31
* Registration                   June  15


The basic registration fee is CHF 1400 (EUR 860).
Full-time PhD students are entitled to a discounted price of CHF 850 (EUR
520). The registration fee covers participation in all lectures and
other activities of the summer school, as well as course materials,
welcome reception, boat trip with dinner at the lake, hiking trip with
farewell dinner, all coffee breaks and lunches.
The school doesn't cover the hotel arrangements.

Scholarships to cover the registration fee is available for USI and CMU
members on a first-come, first-served basis. A number of scholarships is
available for participants with insufficient institutional support. A
letter from the applicant's advisor stating that there is no sufficient
support is required to apply for the scholarship.

Further Information

More detailed information available at the URL