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 event Bulletin Item

CALL FOR PAPERS: Types for Proofs and Programs, 8-11 Sep 2011, NORWAY

Types Meeting 2011, Bergen (Norway)

The 18-th Workshop "Types for Proofs and Programs" will take place in Bergen, Norway from 8 to 11 
September 2011. CSL'11 will take place in Bergen from 12 to 15 September:

The Types Meeting is a forum to present new and on-going work in all aspects of type theory and 
its applications, especially in formalized and computer assisted reasoning and computer programming.

Invited speakers:

     * Georges Gonthier, Cambridge
     * Dag Normann, Oslo
     * Vladimir Voevodsky, Princeton

We encourage all researchers to contribute talks on subjects related to the Types area of interest. These include, but are not limited to:

- Foundations of type theory and constructive mathematics;
- Applications of type theory;
- Dependently typed programming;
- Industrial uses of type theory technology;
- Meta-theoretic studies of type systems;
  -Proof-assistants and proof technology;
- Automation in computer-assisted reasoning;
- Links between type theory and functional programming;
- Formalizing mathematics using type theory.

The talks may be based on newly published papers, work submitted for publication, but also work-in-progress. There are no formal pre-proceedings. More details on

Deadline for abstracts: June 19
Submission site:

Marc Bezem, University of Bergen                Bengt Nordstrm, Chalmers