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

CALL FOR PAPERS: Special issue of MSCS on "Continuity, Computability, Constructivity"


Continuity, Computability, Constructivity:
 From Logic to Algorithms 2013
 Postproceedings

 Call for Submissions


 After a year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in 
Gregynog (Wales) in June this year, we are planning to publish a special issue of

 MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE

 dedicated to the meeting and the project.

 The special issue should reflect progress made in Computable Analysis and related areas,not only 
our work in the project.

 Submissions are welcome from all scientists working in fields like

 Computable analysis
 Complexity of real number computations
 Computing with continuous data
 Domain theory and analysis
 Randomness and computable measure theory
 Models of computation with real numbers
 Realizability theory and analysis
 Reverse analysis
 Exact real number computation
 Program extraction in analysis.

 EDITORS:

 Hajime Ishihara (JAIST, Japan)
 Margarita Korovina (Novosibirsk, Russia)
 Arno Pauly (Cambridge, UK)
 Monika Seisenberger (Swansea, UK)
 Dieter Spreen (Siegen, Germany, and Pretoria, South Africa)



 DEADLINE FOR ABSTRACTS:

 31 January 2014


 DEADLINE FOR FULL PAPERS

 28 February 2014


 SUBMISSION:

 We want to split the submission process into two parts: Please, first submit an abstract of your 
paper and then later the full paper.

 Please prepare your manuscript using the MSCS style file which can be downloaded from

 ftp.cup.cam.ac.uk

 and submit both the abstract as well as the full manuscript to


https://www.easychair.org/account/signin.cgi?conf=ccc2013mscspostproce