[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