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

PhD Fellowship on Formal Methods and Computer Algebra: Johannes Kepler University, Austria

http://www.dk-compmath.jku.at/application

PhD Fellowship on "Formal Methods and Computer Algebra"
=======================================================
Research Institute for Symbolic Computation (RISC)
Johannes Kepler University, Linz, Austria

In the frame of a newly established doctoral program
for computational mathematics, we can offer to students
with a master degree in

 computer science or mathematics

a three years PhD fellowship (October 2008- September 2011)
in the area of "formal methods and computer algebra", see

  http://www.dk-compmath.jku.at/projects/schreiner/

Net salary (after taxes) is about 17700 Euro per year

For more details and applications forms see

    http://www.dk-compmath.jku.at/application

Deadline for application:

    June 30, 2008

Further questions can be directly addressed to

   Wolfgang.Schreiner@risc.uni-linz.ac.at