[TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 1-7 April 2020

[Wen Kokke]

---------------------------------------------------------------
Agda Implementors' Meeting XXXI
Call for participation
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI <https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI>
---------------------------------------------------------------

The thirty-first Agda Implementors' Meeting will take place in Edinburgh, Scotland from Wednesday 1 April 2020 to Tuesday 7 April 2020. 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 XXXI, please fill out the form below and send it to Wen Kokke <wen.kokke at ed.ac.uk <mailto:wen.kokke at ed.ac.uk>>

Preliminary information (more appearing later) is available at:
https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI <https://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI>

I hope to see you there!

Kind regards,
Wen

---------------------------------------------------------------
Registration form for Agda Implementors' Meeting XXXI

Name:

Title and optionally abstract (if you want to give a talk or lead a discussion):

Suggestions for code sprints (optional):

Additional comments:
---------------------------------------------------------------

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200108/2013b710/attachment-0001.html>
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
Name: not available
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200108/2013b710/attachment-0001.ksh>