<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
<style type="text/css" style="display:none;"> P {margin-top:0;margin-bottom:0;} </style>
</head>
<body dir="ltr">
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<span style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><font size="2"><span style="font-size:11pt">Continuity, Computability, Constructivity:<br>
</span></font></span></div>
<div style="font-family: Calibri, Arial, Helvetica, sans-serif; font-size: 12pt; color: rgb(0, 0, 0);">
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<font size="2"><span style="font-size:11pt">From Logic to Algorithms 2021, Postproceedings<br>
In honour of Ulrich Berger<br>
<br>
Call for Submissions<br>
<br>
After another year of successful work in the EU-MSCA-RISE project "Computing with Infinite Data" (CID) and an excellent CCC Workshop in Birmingham, we are planning to publish a collection of papers relevant to the CCC meeting, to the project, and to the subject
in general, as a Special Issue in THEORETICAL COMPUTER SCIENCE. The volume will be dedicated to Ulrich Berger's 65th Birthday.<br>
<br>
The issue will reflect progress made on CCC topics 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:<br>
<br>
* Exact real number computation,<br>
* Correctness of algorithms on infinite data types,<br>
* Computable analysis,<br>
* Complexity of real numbers, real-valued functions, etc.<br>
* Effective descriptive set theory,<br>
* Constructive topological foundations,<br>
* Scott's domain theory,<br>
* Constructive analysis,<br>
* Category-theoretic approaches to computation on infinite data,<br>
* Weihrauch degrees,<br>
* Randomness and computable measure theory,<br>
* Other related areas.<br>
<br>
EDITORS:</span></font></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<font size="2"><span style="font-size:11pt"><br>
Achim Jung (Birmingham)<br>
Monika Seisenberger (Swansea)<br>
</span></font></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<br>
<font size="2"><span style="font-size:11pt"><br>
</span></font></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<font size="2"><span style="font-size:11pt">DEADLINE FOR SUBMISSIONS: 1 May 2022.<br>
</span></font></div>
<div style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)">
<font size="2"><span style="font-size:11pt">If you are interested to contribute, please send a tentative title and abstract to the editors by the end of 31 January 2022.<br>
</span></font></div>
<span style="font-family:Calibri,Arial,Helvetica,sans-serif;font-size:12pt;color:rgb(0,0,0)"><font size="2"><span style="font-size:11pt">Submissions will be reviewed according to the usual high standards of TCS.</span></font></span><br>
</div>
</body>
</html>