Date/Time
Date(s) - 20/04/2016 - 26/04/2016
All Day
Location
University of Strathclyde
The twenty-third Agda Implementors’ Meeting will be held at the University of Strathclyde in Glasgow, Wednesday 20 April to Tuesday 26 April 2016. The meeting will be similar to previous ones:
- Presentations concerning theory, implementation, and use cases of Agda and other Agda-like languages.
- Discussions around issues related to the Agda language.
- Plenty of time to work in, on, under or around Agda, in collaboration with other participants
Confirmed Speakers are:
Jesper Cockx: A sound unification algorithm based on telescope equivalences;
Henning Basold: Towards a Theoretic Foundation of Agda’s Data Types;
Andreas Abel: Introduction to Agda source code;
Ulf Norell: Type checker reflection;
Edwin Brady: Programming with Effects in Idris;
Anton Setzer: Writing GUIs in Agda using Objects;
James McKinna: Bidirectional transformations are proof relevant bisimulations, moreover graded as a (bi-)category over the bicategory of relations;
Conor McBride: TBA;
Guillaume Allais: Type and Scope Preserving Semantics
For more information and details on registration, please visit http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII
