CSE Research Theme: The twenty third Agda Implementors’ Meeting

Date(s) - 20/04/2016 - 26/04/2016
All Day

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

This entry was posted in .