Logic List Mailing Archive

CfP special issue of Journal of Logic and Analysis on "Continuity, Computability, Constructivity", Deadline: 31 Jan 2015

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

Call for Submissions


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

  JOURNAL OF LOGIC AND ANALYSIS

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:

Andrej Bauer (Ljubljana, Slovenia)
Ulrich Berger (Swansea, UK)
Willem Fouché (Pretoria, South Africa)
Dieter Spreen (Siegen, Germany & Pretoria, South Africa)
Hideki Tsuiki (Kyoto, Japan)
Martin Ziegler (Darmstadt, Germany)


DEADLINE FOR SUBMISSION:
  31 January 2015


Please prepare your manuscript using the JLA class file jlogana.cls and 
the bibliography style file jloganal.bst which can be downloaded from


http://logicandanalysis.org/latex/latexinstructions.html

For submissions go to the JLA webpage

http://logicandanalysis.org/index.php/jla/information/authors

and follow the instructions given there. In addition, important,

When submitting to JLA, write
CCC2014 POSTPROCEEDINGS

              in the Comments-for-the-Editor box.

  Send a separate copy of your submission to
spreen@math.uni-siegen.de

And, if appropriate, identify one or more members of the Issue Editors 
mentioned above whose interests are closest to the subject matter of the 
paper in the mail.


Best regards,

Andrej Bauer
Ulrich Berger
Willem Fouché
Dieter Spreen
Hideki Tsuiki
Martin Ziegler