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: http://www.youtube.com/user/AISBTube (http://www.youtube.com/user/AISBTube). 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 PARTICIPATION: Proof Theory in Lisbon, 19 July 2013, Lisbon, PORTUGAL


Proof Theory in Lisbon: a one-day workshop

Just before the Logic Colloquium 2013 (vora, Portugal) there will be a 
one-day workshop in Proof Theory in Lisbon. The main event of the workhop 
is a three-part lecture by Jean-Louis Krivine on his classical 
realizability of set theory, with new proofs of relative consistency 
results. Please have a look at


for information. The workshop includes the following participants: 
Jean-Louis Krivine, Ulrich Kohlenbach, Fernando Ferreira, Jaime Gaspar, 
Ali Enayat, Benno ven den Berg, Gilda Ferreira, Daniel Durante and 
Alexander Kreuzer.

Fernando Ferreira and Jaime Gaspar