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)
CCC 2025 in Swansea
CCC 2025 was an exceptional gathering that perfectly balanced intellectual stimulation with natural beauty. The conference delivered a serie...
-
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. ... -
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...