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.
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.
25th INTERNATIONAL WORKSHOP ON ALGEBRAIC DEVELOPMENT TECHNIQUES 2020
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.
We were glad to welcome Takako Nemoto, who joined us on the second day of the Summer School and gave her course on Reverse Mathematics.
As a treat, the participants of the Summer School had a trip to Rhossili and enjoyed a walk along the Welsh coastal path with stunning views. Big thanks to Arved Friedemann and Melissa Antonnelli for the beautiful photos.
We were lucky with both the lovely weather and the fact that Bay Campus is located right at the seafront, so the evening brought a nice treat for everyone in a form of a BBQ at the beach. Big thanks to Arnold, Faron for their grilling and Ulrich, Rosalie, Monika, Arved, Aled, Anton, Olga and everyone else who helped with the organisation.