[Agda] Call for participation: Agda Implementors' Meeting XXIII at Strathclyde, 20--26 April 2016

Fredrik Nordvall Forsberg fredrik.nordvall-forsberg at strath.ac.uk
Mon Jan 25 13:00:17 CET 2016


   ---------------------------------------------------------------
                   Agda Implementors' Meeting XXIII
                       Call for participation
    http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII
   ---------------------------------------------------------------

The twenty-third Agda Implementors' Meeting will be held at the
University of Strathclyde in Glasgow, Wednesday 20 April to Tuesday
26 April 2016. Everyone with a genuine interest in Agda is invited
to attend. 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.

To register for AIM XXIII, please fill out this form:

    http://goo.gl/forms/OZy97PUInF

The (soft) registration deadline is 4 April 2016.

For preliminary information (more appearing later), please visit

  http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXIII

Best Regards,

Fredrik, James, Guillaume, and Conor

-- 
Fredrik Nordvall Forsberg,
Department of Computer and Information Sciences,
University of Strathclyde.
The University of Strathclyde is a charitable body, registered in
Scotland, with registration number SC015263.


More information about the Agda mailing list