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/.
Friday, 12 July 2024
Monday, 8 July 2024
Friday, 5 July 2024
Congratulations
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.
Thursday, 4 July 2024
GoSCAI 2024
Arnold, Monika, Bertie and Jay went to Grenoble 1-4 July to attend the GoSCAI workshop and discussion of research opportunities with Grenoble.
Wednesday, 3 July 2024
Congratulations
Cécilia was invited to join the PC of the JFLA 2025 and Arnold was invited to join PC of ICALP 2024.
Subscribe to:
Posts (Atom)
CCC 2025 Comes to Swansea
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .
-
Our Theory Research Group kicked off the year with an inspiring away day, providing the perfect opportunity to reconnect as a team after the... -
Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin... -
📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...