The University of Birmingham is hosting this year’s CCC 2021 Continuity, Computability, Constructivity: From Logic to Algorithms on 20-24 September 2021. There is a special session in honour of Ulrich Berger taking place on Tuesday as a part of this conference.
A number of Swansea theory group members are attending the CCC 2020 (Continuity, Computability, Constructivity – From Logic to Algorithms) conference, taking place from 31 August to 4 September via Zoom. Their work will be presented in the following talks:
- Ulrich Berger, Andrew Lawrence and Monika Seisenberger Towards the extraction of clause learning
- Tonicha Crook and Arno Pauly Finding Roots of Polynomials
- Arno Pauly On the non-existence of some universal spaces
CCC conference series are linked to the CID project that Swansea University actively participates in the recent years. This year the conference features talks by a number of invited speakers: