[TYPES/announce] special issue of Journal of Logic and Analysis dedicated to the 75th birthday of Dieter Spreen

[Maria Emilia Maietti]

[ The Types Forum (announcements only),
    http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear Colleagues,


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;
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.


Guest EDITORS:

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:

jlaspecialis...@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 
submitted.

========================================================================