special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen
Maria Emilia Maietti
maietti at math.unipd.it
Tue Feb 7 03:40:58 EST 2023
Following four years of successful progress made under the EU-MSCA-RISE
project "Computing with Infinite Data" (CID) coordinated by Dieter
Spreen, the CCCs workshop and the special session dedicated to the 75th
birthday of Dieter Spreen in Padova, we are planning to publish a
collection of papers in a special issue in Journal of Logic and Analysis.
The papers are not restricted to work in the CID project or presented at
the Workshop CCC's or in the special session dedicated to the 75th
birthday of Dieter Spreen after CCC2022 in Padova. Please see the call
for submissions below.
Call for Submissions
We kindly invite you to contribute to a special issue in the open-access
journal, Journal of Logic and Analysis.
This special issue is dedicated to Dr. Dieter Spreen, the project
coordinator of the EU-MSCA-RISE project "Computing with Infinite Data"
(CID), on his 75th Birthday.
The issue aims to reflect progress made in Computable Analysis and
related areas. 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;
Complexity of real numbers, real-valued functions, etc.;
Effective descriptive set theory;
Constructive topological foundations;
Scott's domain theory;
Category-theoretic approaches to computation on infinite data;
Randomness and computable measure theory;
Other related areas.
Maria Emilia Maietti (University of Padova, Italy)
Ning Zhong (University of Cincinnati, USA)
Deadline for Submission: 31 July 2023.
If you intend to submit a paper for the special issue, please inform us
by sending an email to:
JLAspecialissue at math.unipd.it
by 30 May 2023. You will then receive concrete submission instructions
about how to submit your paper to this special issue.
Submissions will be reviewed according to the usual high standards of
JLA. The review process of a paper will start soon after the paper is
More information about the FOM