Our Agda Implementors Meeting finished today with a lovely walk in Gower.
Showing posts with label excursion. Show all posts
Showing posts with label excursion. Show all posts
Saturday, 18 May 2024
Subscribe to:
Posts (Atom)
-
The speaker for this week's seminar is Patrick Uftring from the University of Munich. He will talk about Computable transformations of T...
-
CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a serie... -
Mukesh will give a talk on Formally Verified Verifiable Group Generators as a part of our seminar series this Thursday. Abstract: Electronic...