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 student positions in foundations of computing, London (U.K.)

http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx

Middlesex University London is offering a number of fully funded PhD
research studentships across the university:

http://www.mdx.ac.uk/research/applications/fees/bursaries/index.aspx

These are three-year scholarships, covering UK/EU fees and offering a
maintenance award. For 2013/14 the maintenance award is 13,863, which
includes London weighting, and is free of tax and national insurance
contributions.
Non-EU students will be required to cover the difference between the UK/EU
and  International students fee. The difference currently is 5968.


The research topics include areas that might be of interest to members of
this list. A full list of projects for Computer Science can be found at

http://www.mdx.ac.uk/research/applications/fees/bursaries/comp-sci.aspx

The Foundations of Computing group, part of the School of Science and
Technology, is keen to support qualified candidates who are interested
in applying. In particular, we welcome proposals on the following topics:

- Verification of Secure Weighted Doxastic Reasoning with Trust
http://www.mdx.ac.uk/Assets/Secure%20Weighted%20Doxastic%20Reasoning.pdf

- Formal Verification of Quantum Protocols
http://www.mdx.ac.uk/Assets/Formal%20Verification.pdf

- Analysis techniques for safety-critical interactive systems: theory and
tools.
http://www.mdx.ac.uk/Assets/Analysis%20techniques.pdf


Proposals that maybe of interest to members of the Foundations Group, but
not listed above are also welcome.


Interested candidates should contact one of the group members (names and
addresses are listed in the different projects) informally to discuss a
possible project (candidates are asked to submit a personal research
statement as part of their application). Successful candidates will be
selected
through a university-wide process.

More information about the Foundations Group can be found at:

http://www.cs.mdx.ac.uk/foundations/