AISB convention 2017

  In the run up to AISB2017 convention, I've asked Joanna Bryson, from the organising team, to answer few questions about the convention and what comes with it. Mohammad Majid al-Rifaie (https://twitter.com/mohmaj) Tu...


Read More...

Harold Cohen

Harold Cohen, tireless computer art pioneer dies at 87   Harold Cohen at the Tate (1983) Aaron image in background   Harold Cohen died at 87 in his studio on 27th April 2016 in Encintias California, USA.The first time I hear...


Read More...

Dancing with Pixies?...

At TEDx Tottenham, London Mark Bishop (the former chair of the Society) demonstrates that if the ongoing EU flagship science project - the 1.6 billion dollar "Human Brain Project” - ultimately succeeds in understanding all as...


Read More...

Computerised Minds. ...

A video sponsored by the society discusses Searle's Chinese Room Argument (CRA) and the heated debates surrounding it. In this video, which is accessible to the general public and those with interest in AI, Olly's Philosophy Tube ...


Read More...

Connection Science

All individual members of The Society for the Study of Artificial Intelligence and Simulation of Behaviour have a personal subscription to the Taylor Francis journal Connection Science as part of their membership. How to Acce...


Read More...
01234

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