AISB Convention 2015

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


Yasemin Erden on BBC

AISB Committee member, and Philosophy Programme Director and Lecturer, Dr Yasemin J. Erden interviewed for the BBC on 29 October 2013. Speaking on the Today programme for BBC Radio 4, as well as the Business Report for BBC world N...


Mark Bishop on BBC ...

Mark Bishop, Chair of the Study of Artificial Intelligence and the Simulation of Behaviour, appeared on Newsnight to discuss the ethics of ‘killer robots’. He was approached to give his view on a report raising questions on the et...


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


Lighthill Debates

The Lighthill debates from 1973 are now available on YouTube. You need to a flashplayer enabled browser to view this YouTube video  



AISB opportunities Bulletin Item

PhD student position on "Logics for Privacy", Switzerland

Contact: Thomas Studer,

The research group for Theoretical Computer Science and Logic of the University of Bern has an open position for a PhD student in the project * Logics for Privacy *

We are looking for an enthusiastic student with a strong background in logic.

The PhD project is granted by the Swiss National Science Foundation over a period of three years. Salary and employment conditions are attractive. We offer a stimulating and enjoyable working environment in a internationally oriented research group. The city of Bern features modern culture surrounded by old world ambiance. It provides all year round recreational activities in a breathtaking environment.

University regulations require doctoral students to hold a Master's or equivalent degree (e.g. Diplom). Applications should include a curriculum vitae together with a transcript of records.

To apply or for further information please contact Thomas Studer by email (

Project description:
The problem of data privacy is to verify that confidential information stored 
in an information system is not provided to unauthorized users and, therefore, 
personal and other sensitive data remain private. The main challenge in such a 
context is to share some data while protecting other personally identifiable 
information. The aim of our project is to develop formal methods and the 
corresponding algorithms to enable automated reasoning about data privacy.

In particular we are interested in the following questions:
1. What can a user infer from the information to which he has access?
2. How can we guarantee that an unauthorized user cannot obtain any knowledge 
about private information?

We will address those questions not in their full generality, but we intend to 
study the case of ontological knowledge base systems. That means we will mainly 
use techniques from modal logic in general and description logic in particular.