We are happy to announce that BCTCS is coming back to Swansea next year. More details to follow.
Tag Archives: conference
CCC 2020
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:
- Holger Boche (Munich)
- Elvira Mayordomo (Zaragoza)
- Eike Neumann (Oxford)
- Hideki Tsuiki (Kyoto)
BCTCS 2020 going ahead
In spite of the COVID-19 outbreak, we are glad to host BCTCS 2020 starting today, even if virtually. For more information on invited and contributed talks, check the official BCTCS 2020 website.
CCC 2018 and CID annual project meeting
Ulrich and Olga have attended the annual CID project meeting and are going to give talks tomorrow at the Continuity, Comparability, Constructivity conference in Faro.
