Swansea Theoretical Computer Science Research Group

Friday, 12 July 2024

CCA is coming to Swansea next week and we are very excited! More details and the programme are available at http://cca-net.de/cca2024/.

We welcome our new PhD students Marek Jezinski and Samarthya Patel to the group!

Congratulations to our research students:

Raghav Kovvuri passed a PhD viva on Explainable Artificial Intelligence across Domains: Refinement of SHAP (supervised by Fan, Monika and Bertie)
Tonicha Crook has successfully completed the corrections for her PhD thesis, supervised by Arno.
Victor CAI successfully defended this MSc by research viva titles Show me how it's wrong.

Sadeer Beden successfully defended his PhD, supervised by Arnold and Cinzia Giannetti.

Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the GoSCAI workshop and discussion of research opportunities with Grenoble.

Cécilia was invited to join the PC of the JFLA 2025 and Arnold was invited to join PC of ICALP 2024.

Our Agda Implementors Meeting finished today with a lovely walk in Gower.

Predicativity of the Mahlo Universe in Type Theory P Dybjer, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Termination-checked Solidity-style smart contracts in Agda in the presence of Turing completeness FF Alhabardi, A Setzer 30th International Conference on Types for Proofs and Programs TYPES 2024
Berger, U., & Seisenberger, M. (2023). On the computational content of choice principles. Handbook of Bishop Constructive Mathematics.
Berger, U., Seisenberger, M., Spreen, D., & Tsuiki, H. (2023). Concurrent Gaussian elimination. doi:10.48550/ARXIV.2305.10125
Bergstra, J. A., & Tucker, J. V. (2023). A complete finite equational axiomatisation of the fracterm calculus for common meadows. doi:10.48550/ARXIV.2307.04270