Tag Archives: swansea

Swansea to host BCTCS2022

We are happy to announce that BCTCS is coming back to Swansea next year. More details to follow.

BCTCS | British Colloquium for Theoretical Computer Science
The British Colloquium for Theoretical Computer Science (BCTCS) is an annual event for UK-based researchers in theoretical computer science.

Join The Russell Club

We are glad to announce that The Russell Club, a new fortnightly workshop series organized by Faron Moller, Markus Roggenbach and John Tucker, are starting next Monday (6pm-7pm).

The Russell Club is an informal Workshop Series where gems from the Foundations of Computer Science are explored.  It is open and accessible to all students, be they first-years or postgraduate, from any discipline. All that is required is an inquisitive mind.

Join The Russell Club

 

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

Photo by Olga Petrovska

Summer School: Day 4

Congratulations to Iris van der Giessen for winning the best poster competition and special thanks to Andreas Weiermann for the beautiful picture of Wales that serves as our main prize.

Big thanks to all the speakers and the participants for joining our Summer School. We hope to see you again during the future events by the Proof Society.

Proof Society Summer School 2019

Photo by Olga Petrovska