[TYPES/announce] Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
Orestis Melkonian
melkon.or at gmail.com
Tue Jul 26 12:17:57 EDT 2022
---------------------------------------------------------------
Agda Implementors' Meeting XXXI
Call for participation
https://urldefense.com/v3/__http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI__;!!IBzWLUs!XiwwsFxEP-urAGX5ijb-XI331N20xKcaQa2yeBnCdNYJB0xvM9KkfVEI7bLB8sLqUJNt6DD6fZXs8gQno4OggTjxNETExNjd$
---------------------------------------------------------------
The 31st Agda Implementors' Meeting will take place in Edinburgh,
Scotland from Thursday 10 November 2022 to Wednesday 16 November 2022.
Note that AIMXXXI was initially planned for 2019 but got postponed due
to COVID-19, whilst we had several online meetings XXXII-XXXV.
The meeting will consist of:
* 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.
* A full day dedicated to the EuroProofNet COST action, including
talks and discussions on translating libraries and proofs between Agda
and other proof assistants. Please direct enquiries about that to Jesper
Cockx <Jesper at sikanda.be>.
To register for AIM XXXI, please fill out the form below and send it to
Orestis Melkonian by email <orestis.melkonian at ed.ac.uk>, or simply edit
the AIMXXI wiki page yourself.
> ---------------------------------------------------------------
> 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):
>
> Dietary restrictions:
>
> Additional comments:
>
> ---------------------------------------------------------------
More information is available at
https://urldefense.com/v3/__http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI__;!!IBzWLUs!XiwwsFxEP-urAGX5ijb-XI331N20xKcaQa2yeBnCdNYJB0xvM9KkfVEI7bLB8sLqUJNt6DD6fZXs8gQno4OggTjxNETExNjd$
Please spread the word about this meeting.
Best regards,
Orestis
More information about the Types-announce
mailing list