CCC 2021
Continuity, Computability, Constructivity
From Logic to Algorithms

20-24 September 2021


CCC is a workshop series that brings together researchers applying logical methods to the development of algorithms, with a particular focus on computation with infinite data, where issues of continuity, computability and constructivity play major roles. Specific topics include exact real number computation, computable analysis, effective descriptive set theory, constructive analysis, and related areas. The overall aim is to apply logical methods in these disciplines to provide a sound foundation for obtaining exact and provably correct algorithms for computations with real numbers and other continuous data, which are of increasing importance in safety critical applications and scientific computation.

CCC 2021 will be the 10th edition in the series. It will be organised by the School of Computer Science of the University of Birmingham but take place online.


(All times in UTC+1 (= English summer time))

Monday morning session, chair Norbert Müller
9:00Arno PaulyWeihrauch degrees of problems related to topological circles
9:30Pieter CollinsRigorous Function Calculi-IV
10:15Vittorio Cipriani and Arno PaulyEmbeddability of graphs and Weihrauch degrees
10:45Anupam DasA circular version of Gödel's T and its abstraction complexity
11:15Nikolay Shilov, Dmitry Kondratyev and Boris FaifelPlatform-independent model of fix-point arithmetic for verification of the standard mathematical function
Monday afternoon session, chair Michal Konečný
13:00Invited talk: Suguman BansalTowards designing intelligent machines via reactive synthesis

Tuesday (Special session in honour of Ulrich Berger) chair Helmut Schwichtenberg
9:00Invited talk: Monika SeisenbergerAdvances in Program Extraction
10:15Dieter Spreen and Ulrich BergerComputing with Compact Sets: the Gray Code Case
10:45Gianluca Curzi and Anupam DasTowards Cyclic Implicit Complexity
11:15Matthias EberlContinuity for Computability
Tuesday afternoon session, chair Daniel Graça
13:00Nicolai Kraus, Fredrik Nordvall Forsberg and Chuangjie XuA Certified Library of Ordinal Arithmetic
13:30Sewon Park, Holger Thies and Hideki TsuikiIFP style proofs in the Coq proof assistant

Wednesday morning session, chair Alex Simpson
9:00Invited talk: Franz BraußeA δ-complete calculus for solving non-linear constraints
10:15Takayuki KiharaLawvere-Tierney topologies for computability theorists
10:45Michele Contente and Maria Emilia MaiettiHomotopy Type Theory as a logical framework for the Minimalist Foundation
11:15Davide Trotta, Matteo Spadetto and Valeria de PaivaDialectica logical principles via free categorical constructions
Wednesday afternoon session, chair Milly Maietti
13:00Tutorial: André PlatzerProgramming and Proving with Dynamical Systems (Part 1)
14:00Tea followed by CID Business Meeting

Thursday morning session, chair Paul Potgieter
9:00Invited talk: Sewon ParkToward verified real computation
10:15Peter Schuster and Daniel WesselRadical theory of Scott-open predicates
10:45Willem FoucheLogical and computational aspects of Gleason's theorem in probability theory
11:15Michal GajdaULF -- Ultrafinitist and Ultraconstructivist Logical Framework
Thursday afternoon session, chair Monika Seisenberger
13:00Tutorial: André PlatzerProgramming and Proving with Dynamical Systems (Part 2)

Friday morning session, chair Mathieu Hoyrup
9:00Iosif PetrakisFrom Daniell spaces to the integration spaces of Bishop and Cheng
9:30Partha Pratim GhoshThe Kuratowski Mrowka theorem for internal preneighbourhood spaces
10:15Matthew de BrechtQuasi-Polish spaces as spaces of ideals
10:45Eike NeumannOn Envelopes and Backward Approximations
11:15Jihoon Hyun, Hyunwoo Lee and Martin ZieglerComputing the Mandelbrot Set, Reliably
Friday afternoon session, chair Pieter Collins
13:00Invited talk: Michael YampolskyTowards understanding the theoretical challenges of numerical modeling of dynamical systems

Invited Speakers


Submission is now closed


Registration is free of charge. Simply email one of the organisers to receive information on how to join the Zoom sessions

Programme Committee


Dieter Spreen and Achim Jung