Our Agda Implementors Meeting finished today with a lovely walk in Gower.
Showing posts with label gower. Show all posts
Showing posts with label gower. Show all posts
Saturday, 18 May 2024
Subscribe to:
Posts (Atom)
-
This Thursday Giovanni Solda will give a talk on statistical learning of graphs as a part of our theory seminar series. Abstract: In the fir...
-
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms . -
CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a serie...