The 38th Agda Implementors' Meeting is taking place at the Computational Foundry from Monday 13 to Saturday 18 May 2024. It will be hosted by the Theoretical Computer Science Research Group, Department of Computer Science, Swansea University
Subscribe to:
Post Comments (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...
No comments:
Post a Comment