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


Read More...

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

Notice

AISB opportunities Bulletin Item

Two PhD student positions in Algorithms and Complexity, Oxford


The Verification Research Group is offering two D.Phil studentships in Oxford University's Computing Laboratory (web.comlab.ox.ac.uk).  These positions are associated with the EPSRC project "Model Checking Real-Time Systems: Algorithms and Complexity'' under the supervision of Dr James Worrell, which will deal with a logical and automata-theoretic framework for model checking real-time systems.

The studentships are fully funded at EU fees level (non-EU candidates will need supplementary funding) for 3 ½ years from 1st October 2009. Students admitted with a later start date (but not later than April 1st 2010) will receive a guarantee of 3 years funding.  Each studentship includes a stipend of at least £13290 per year as well as provision for travel to conferences.

The studentships will suit candidates with a strong background in theoretical computer science, including at least one of the following areas: algorithms, automata theory, complexity theory and logic.

Please contact James Worrell (jbw@comlab.ox.ac.uk) for further details.