[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Continuity, Computability, Constructivity:
From Logic to Algorithms 2018
Postproceedings
Call for Submissions
After a year of successful work in the EU-MSCA-RISE project "Computing with
Infinite Data" (CID) and an excellent Workshop CCC 2018 in Faro (Portugal) in
September this year, we are planning to publish a collection of papers
dedicated to the meeting and to the project as a Special Issue in the
open-access journal
LOGICAL METHODS IN COMPUTER SCIENCE.
The issue should reflect progress made in Computable Analysis and related
areas, and is not restricted to work in the CID project or presented at the
Workshop.
Submissions are welcome from all scientists on topics in the entire spectrum
from logic to algorithms including, but not limited to:
* Exact real number computation,
* Correctness of algorithms on infinite data,
* Computable analysis,
* Complexity of real numbers, real-valued functions, etc.
* Effective descriptive set theory,
* Constructive topological foundations,
* Scott's domain theory,
* Constructive analysis,
* Category-theoretic approaches to computation on infinite data,
* Weihrauch degrees,
* Randomness and computable measure theory,
* Other related areas.
EDITORS:
Daniel Graça (Faro, Portugal)
Mathieu Hoyrup (Nancy, France)
Dieter Spreen (Siegen, Germany)
Hideki Tsuiki (Kyoto, Japan)
Martin Ziegler (KAIST, Korea, Republic of)
DEADLINE FOR SUBMISSION:
1 May 2019
If you intend to submit a paper for the special issue, please inform us by
sending email to:
[email protected]<mailto:[email protected]>
by
1 April 2019
You will then receive concrete submission instructions and a Special-Issue-Code
allowing you to submit your paper.
Please prepare your manuscript using the LMCS class file lmcs.cls which can be
downloaded from
https://lmcs.episciences.org/public/lmcs.cls.
Submissions will be reviewed according to the usual high standards of LMCS.
Best regards,
Daniel Graça
Mathieu Hoyrup
Dieter Spreen
Hideki Tsuiki
Martin Ziegler
