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
Language:English
Last sign up date:31 Oct 2024
Meeting
The event has passed