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)
-
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...
No comments:
Post a Comment