Università degli Studi di Padova

“CCC 2022” – Continuity, Computability, Constructivity From Logic to Algorithms

September 19-23, 2022 - Department of Mathematics “Tullio Levi-Civita” and Online

Dedicated to Dieter Spreen on the Occasion of his 75th Birthday.


Web site