[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
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)
NEW 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
