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

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

Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability"

Arno Pauly is organising the Dagstuhl meeting "Weihrauch Complexity: Structuring the Realm of Non-Computability" with Vasco Brattka, Alberto Marcone and Linda Westrick. More information to follow.