[TYPES/announce] Call for submissions: MSCS special Computable Analysis; Correction

Dieter Spreen spreen at informatik.uni-siegen.de
Wed Jan 15 00:52:41 EST 2014


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

Second Call for Submissions
CORRECTION



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)



DEADLINE FOR ABSTRACTS:

31 January 2014


DEADLINE FOR FULL PAPERS

28 February 2014


SUBMISSION (Web address changed):

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/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/20140115/3ae3f9ef/attachment-0001.html>


More information about the Types-announce mailing list