Saturday, 18 May 2024

Excursion to Gower

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

Gower Walk


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.

CCC 2025 Comes to Swansea

This September Swansea will be hosting   CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .