Logic List Mailing Archive

CfP special issue of MSCS on "Continuity, Computability, Constructivity", Deadline: 31 March 2014

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

Third Call for Submissions Extension of Deadline



After a year of successful work in the EU-IRSES project COMPUTAL and an 
excellent workshop in Gregynog (Wales) in June last 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)



EXTENDED DEADLINE FOR SUBMISSION:

31 March 2014


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/conferences/?conf=ccc2013mscspostproce


Best regards,

Hajime Ishihara
Margarita Korovina
Arno Pauly
Monika Seisenberger
Dieter Spreen