Agda Implementor's Meeting XXIII

Activity: Participating in or organising an event typesOrganiser of special symposia

Period20 Apr 201726 Apr 2017
Event typeWorkshop
Degree of RecognitionInternational