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


Read More...

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


Read More...

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


Read More...

Lighthill Debates

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


Read More...
0123

Notice

AISB opportunities Bulletin Item

Postdoctoral position in verification, Paris, FRANCE


Contact: touili@liafa.univ-paris-diderot.fr

Contact: Tayssir TOUILI  
(touili@liafa.univ-paris-diderot.fr)

A Postdoc  position is available in the "Verification" team in LIAFA (CNRS and 
Univ. Paris Diderot).
The  topic  is the development of  new original model-checking and static 
analysis
techniques for the analysis of software and/or concurrent programs.
The position is available from October 2013.


How to apply:
==========
Candidates must have  a PhD in computer science (defense before October 2013).
The candidate must send a CV  and recommendation letters to Tayssir TOUILI 
(touili@liafa.univ-paris-diderot.fr)