Showing posts with label gower. Show all posts
Showing posts with label gower. Show all posts

Saturday, 18 May 2024

Excursion to Gower

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

Gower Walk


CCC 2025 Comes to Swansea

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