Our Agda Implementors Meeting finished today with a lovely walk in Gower.
Saturday, 18 May 2024
Tuesday, 14 May 2024
Agda Implementors Meeting
The 38th Agda Implementors' Meeting is taking place at the Computational Foundry from Monday 13 to Saturday 18 May 2024. It will be hosted by the Theoretical Computer Science Research Group, Department of Computer Science, Swansea University
Friday, 10 May 2024
Fahad Alhabardi passed his PhD viva
Congratulations to Fahad Alhabardi for passing his PhD (supervised by Anton Setzer and Arnold Beckmann) viva today! Thanks to the external examiner Conor McBride from Strathclyde University, the internal examiner Ulrich Berger, and the chair Bertie Mueller.
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...
-
📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ...
-
Professor Hideki Tsuiki from Kyoto University is visiting Swansea University from 22nd to 24th of January. Yesterday, he gave a talk on Coin...