The 39th Agda Implementors' Meeting will be hosted by the Computing Science Divison, Logic and Types Unit, Department of Computer Science and Engineering.
Overview
The event has passed
- Date:Starts 25 November 2024, 09:30Ends 30 November 2024, 12:00
- Location:OOTO, Room 4
- Language:English
- Last sign up date:31 October 2024