Agda Implementor's Meeting XXIII

James Chapman (Organiser), Nordvall Forsberg, F. (Organiser)

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

Period20 Apr 2017 - 26 Apr 2017
Event typeWorkshop
Degree of RecognitionInternational