CCC2025: Continuity, Computability, Constructivity | From Logic to Algorithms
14 May 2025, by in Sponsored events31 August 2025 – 3 September 2025
Research & Innovation Hub, Swansea University, Wales, UK
Supported by the Heilbronn Institute Small Grants Scheme
CCC is a workshop series that brings together researchers from mathematics and computer science who are applying logical methods to the development of algorithms. The focus is on computation with infinite data, where issues of continuity, computability and constructivity play major roles.
Organisers:
Ulrich Berger (Swansea)
Olga Petrovska (Swansea)
Monika Seisenberger (Swansea)
Anton Setzer (Swansea)
Mukesh Tiwari (Swansea)
Confirmed Speakers:
Emilia Maietti (Padova)
Nobuko Yoshida (Oxford)
A list of current and upcoming sponsored events is available here.
A list of past sponsored events is available here.
