Our Agda Implementors Meeting finished today with a lovely walk in Gower.
Showing posts with label agda. Show all posts
Showing posts with label agda. Show all posts
Saturday, 18 May 2024
Tuesday, 14 May 2024
Agda Implementors Meeting
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
Friday, 15 March 2024
Agda Implementors' Meeting Coming to Swansea
The thirty-eighth Agda Implementors' Meeting will take place in Swansea, Wales, UK from Monday 13 to Saturday 18 May 2024.
Wiki link for more details: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII
The meeting aims to bring together people not only developing but also using Agda or even those who are simply interested in it. We will have talks on the implementation details of Agda in the morning and code sprints in the afternoon. You can still submit your proposal for a talk or discussion!
There's a (soft) deadline for registration on 14 April 2024.
Registration instructions: https://wiki.portal.chalmers.se/agda/Main/AIMXXXVIII#Registration
Subscribe to:
Comments (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...
-
📢 The international autumn school "Proof and Computation" will take place from 14–20 September 2025 in Herrsching near Munich. ... -
This September Swansea will be hosting CCC 2025 Continuity, Computability, Constructivity - From Logic to Algorithms .