[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