- CCC 2020,
Continuity, Computability, Constructivity – From Logic to Algorithms,
Faro (Portugal), August 31 – September 4, 2020 - CCC 2019,
Continuity, Computability, Constructivity – From Logic to Algorithms,
Ljubljana (Slovenia), September 2-6, 2019 - CCC 2018,
Continuity, Computability, Constructivity – From Logic to Algorithms,
Faro (Portugal), September, 2018 - CCC 2017
Continuity, Computability, Constructivity – From Logic to Algorithms,
Nancy (France), June 26 – 30, 2017
Related conferences:
- CCA 2020
Seventeenth International Conference on Computability and Complexity in Analysis,
September 9-11, 2020, Bologna, Italy - PC19
Autumn school “Proof and Computation”,
Munich (Germany), September 20-26, 2019 - Mathematical Logic and Constructivity,
Stockholm (Sweden), August 20–23, 2019 - CCA 2019
Sixteenth International Conference on Computability and Complexity in Analysis,
Zagreb (Croatia), July 8-11, 2019 - MLA’2019
Third Workshop on Mathematical Logic and its Applications,
Nancy (France), 11-14/03/2019