CCC 2015; postproceedings; second call for submission

[Dieter Spreen]

Continuity, Computability, Constructivity:

From Logic to Algorithms 2015

Postproceedings

 Second Call for Submissions

After a further year of successful work in the EU-IRSES project COMPUTAL and an excellent workshop in Kochel (Germany) in September this year, we are planning to publish a collection of papers dedicated to the meeting and the project as a part of

 LOGICAL METHODS IN COMPUTER SCIENCE 

The issue should reflect progress made in Computable Analysis and related areas, not only work in the project.

Submissions are welcome from all scientists and should be on topics in the spectrum from logic to algorithms including, but not limited to,

• 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:

Ulrich Berger (Swansea, UK)

Willem Fouché (UNISA, Pretoria)

Arno Pauly (Brussels, Belgium)

Dieter Spreen (Siegen, Germany)

Martin Ziegler (KAIST, South Korea)

DEADLINE FOR SUBMISSION:

 1 March 2016

 

If you intend to submit a paper, please send a corresponding email to  

spr...@math.uni-siegen.de

till

1 February 2016

You will then receive concrete submission instructions and a Special-Issue-Code allowing you to submit your paper for the special issue.

Please prepare your manuscript using the LMCS class file lmcs.cls which can be downloaded from 

http://www.lmcs-online.org/Information/style.php

Best regards,

Ulrich Berger

Willem Fouché

Arno Pauly

Dieter Spreen

Martin Ziegler

--
You received this message because you are subscribed to the Google Groups "constructivenews" group.
To unsubscribe from this group and stop receiving emails from it, send an email to constructivene...@googlegroups.com.
For more options, visit https://groups.google.com/d/optout.