[TYPES/announce] Call for submissions: MSCS special Computable Analysis; Extension of deadline
Dieter Spreen
spreen at informatik.uni-siegen.de
Fri Feb 28 06:34:59 EST 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)
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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20140228/1d09524d/attachment-0001.html>
More information about the Types-announce
mailing list