16th edition of the Agda {Intensive,Implementors} Meeting

ITU, IT University of Copenhagen

Daniel Gustafsson and Nicolas Pouillard

Local organisation

Wireless network

Rooms

Food

Program