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

Postdoctoral position (1y) in semantics of programming languages and logic in computer science, Lyon, FRANCE

A 12-month post-doctoral position is available in the Plume team
of the LIP laboratory at ENS de Lyon.

The position is cofunded by the ANR project RECRE and the LIP

Research conducted in Plume team covers various aspects of
programming languages semantics and logic in computer science.

"RECRE" stands for "Realizability for classical logic, concurrency,
references and rewriting". The project also includes topics relevant
to the Curry-Howard correspondence, such as denotational semantics,
linear logic, proof theory and type theory.

For this position, we will welcome applications in topics relevant
to RECRE, as well as at their intersection with other fields of logic
and computer science such as program verification or logic and

Salary: around 2000 euros net per month.

Starting date: September 1st 2014

Applications: please send, before *May 4th 2014*
a CV together with a one-page cover letter to Colin Riba.

For any question, please contact Colin Riba.

- Colin Riba:
- Plume team: