Category 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:

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:

Tonicha at CiE

Our PhD student Tonicha Crook attended her first CIE conference and gave an interesting talk on The Weihrauch degree of finding Nash Equilibria in multiplayer games.

25th International Workshop on Algebraic Development Techniques 2020

Today Swansea is hosting the first virtual WADT, and you are gently invited to participate.

The virtual WADT is part of the 25th International Workshop on Algebraic Development Techniques 2020, which hopefully will still happen as a physical meeting in autumn this year.   The algebraic approach to system specification encompasses many aspects of the formal design of software systems. Originally born as a formal method for reasoning about abstract data types, it now covers new specification frameworks and programming paradigms (such as object-oriented, aspect oriented, agent-oriented, logic and higher-order functional programming) as well as a wide range of application areas (including information systems, concurrent, distributed and mobile systems).

The workshop takes place under the auspices of IFIP WG 1.3.

Please see below for the programme.

Update on BCTCS2020

We remain hopeful that our conference will go ahead as planned. However, due to the uncertainty created by COVID-19, we are putting into place contingency plans.

Swansea University has procured a licence for a robust video-conferencing system (ZOOM) which we can use for the conference. If it becomes necessary, then a user would need to install this onto their computer. This system is free to install and use, the only cost is for Swansea as the licence holder. Of course, the computer would need to be connected to a webcam and microphone in order to participate fully in the conference – in particular, to deliver a lecture or to ask questions of the speakers.

Anyone who cannot come to Swansea due to the COVID-19 situation would have their fee reimbursed through eventbrite (as you won’t be requiring the catering). However, we really don’t want this to be an incentive to stay home; AlgoUK/BCTCS is first and foremost a net working event, so if it is possible, we are keen to welcome you in person.

We will keep you aware of any developments, and thank you for your patience and understanding as we do our best to ensure AlgoUK/BCTCS is as successful as it can be.

36th British Colloquium for Theoretical Computer Science


Wordpress is loading infos from ac

Please wait for API server to collect data from

Swansea University is looking forward to host BCTCS2020 this April.

2nd Proof Society Workshop on Proof Theory and its Applications

Following the Summer School, we are really proud to host the 2nd Proof Society Workshop. The workshop was an opportunity to listen to a lot of interesting invited and contributed talks on proof theory and various areas of its application:

Adam Wyner: Computational Law – The Case of Autonomous Vehicles
Yong Cheng: Exploring the incompleteness phenomenon
Matthias Baaz: Towards a Proof Theory for Henkin Quantifiers
Sonia Marin: On cut-elimination for non-wellfounded proofs: the case of PDL
Gilles Dowek: Logical frameworks, reverse mathematics, and formal proofs translation
Benjamin Ralph: What is a combinatorial proof system?
William Stirton: Ordinal assignments correlated with notions of reduction
Oliver Kullmann: Practical proof theory: practical versions of Extended Resolution
Anton Setzer and Ulrich Berger on behalf of Ralph Matthes: Martin Hofmann’s case for non-strictly positive data types – reloaded
Laura Crosilla: Philosophy of mathematics and proof theory
Takako Nemoto: Recursion Theory in Constructive Mathematics
Arno Pauly: Combinatorial principles equivalent to weak induction
Antonina Kolokolova: The proof complexity of reasoning over richer domains
Joost Joosten: The reduction property revisited
Helmut Schwichtenberg: Computational content of proofs

Thanks to all the speaker and participants and we hope to see you all again soon.

Proof Society Workshop 2019