coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022

From: Orestis Melkonian <melkon.or AT gmail.com>
To: coq-club AT inria.fr
Subject: [Coq-Club] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022
Date: Mon, 10 Oct 2022 12:05:04 +0100
Authentication-results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=melkon.or AT gmail.com; spf=Pass smtp.mailfrom=melkon.or AT gmail.com; spf=None smtp.helo=postmaster AT mail-wr1-f49.google.com
Ironport-data: A9a23:0fmVEKOnbnm6WPPvrR1tk8FynXyQoLVcMsEvi/4bfWQNrUp33mcGx zdNWzyEb/6CYzf3LY9zaozkphxUvsCByN5gSXM5pCpnJ55ogZqcVI7Bdi8cHAvLc5adFBo/h yk6QoOdRCzhZiaE/n9BCpC48T8mk/ngqoPUUIbsIjp2SRJvVBAvgBdin/9RqoNziLBVOSvU0 T/Ji5CZaQLNNwJcaDpOsfvb8Us35ZwehRtB1rAATaAT1LPhvyJNZH4vDfnZB2f1RIBSAtm7S 47rpF1u1j6xE78FU7tJo56jGqE4aua60Tum1hK6b5Ofbi1q/UTe5EqU2M00Mi+7gx3R9zx4J U4kWZaYEW/FNYWU8AgRvoUx/yxWZcV7FLH7zXeX4dSck3TBcHvX5KtACkQOGtQ/w8NbHjQbn RAYAGhlghGrguu3xPekULApiJhyasbsO4wbtzdryjSx4fQOG8iSBfWXo4UChXFs16iiHt6GD yYdQT9iaBfHZVtIIH8YDZs/mKGjgXyXnzhw9QzF/Ppvuji7IApZ+r7xNueLe8K2eJ9cz2ybg XKfxTXHK0RPXDCY4WPdrijEavX0tSj8QccZEKCy3uV7hUWagG0VEhwfE1WhycRVkWa7UtNbb lMOo28g8fl0+0usQd3wGRa/pRZooyLwRfIAC+Jm0QaOypHzvSifA1AjFxl4TfA54ZpeqSMR6 neFmNbgBDpKubKTSG6A+rr8kd9UEXhIRYPlTX9bJTbp8+UPs6lo0U2SFocL/Lqdy4yqSWupk lhmuQBn3+1L5fPnwZlX6rwuvt5Bjp3ATwpw+R+OG2z5v0V2Y4mqY4Hu4l/ehRqhEGp7Zgja1 JTns5LGhAzrMX1rvHLUKAnqNO/yj8tpyBWG3TZS82AJrlxBAUKLc4FK+y1ZL0x0KMsCcjKBS BaN514KuMcJZyH6NvUfj2eN5yICnfaI+TPNBqC8UzaySsUZmPKvpnAxPxfPjwgBbmByy/5gU XtkTSpcJS9CVf4PIMueSOAa3rsmrh3SNkuCLa0XOy+PiOLEDFbMEeltGALXMogRsf3ZyC2Ir I43H5XQl313DralCgGJqt57ELz/BSJkbXwAg5cHKLDrz8sPMD1JNsI9Npt7J9E7wvoNyL6Yl px/M2cBoGfCabT8AV3iQhhehHnHB/6TdFpqZnR+DkXiwHU5f4ek4YEWcpZ9L/Ft9/VuwbQwB 7MJctmJSKYHADnW2SUvXb+kpqxbdTOvmV2vOQiha2MBZJJOfVHC1eLlWQrNzxMwKBSLm/Ewm JCe8z/KYIEiQl1iBfnGafj0wFKWu2Mcqd1IXEDJA4dyfRzs+bd1NyCqr+8THPBUDi6ewDHAh gCcLioFlLOcv64079j7qqSWpKi5E+ZFPxR7HkuKyZ2UJCXl7m6Y7osYa9mxfBfZT3HR1JS5Q Odok8HHL/wMmWhVv7pGE7pEybw04/3treR4yjtIMWrqbVPxLJ9dOViDgNdys5NSyo9juQeZX lyF/v9YM+6rPOLnCFsgGxo3XN+c1P07mijg0tptGR/UvBRIxbugVVleGzKuiyYHdbt8D94D8 Ncb4cUT71SytwouPtO4lRtrzmWrLEJRd4U8t5ofPp3ntRpz9HFGfq7nK3HX5LOhVoxyF3cEc xGogJjMvbB+/nb5UmESECHN1NVNhJ5VtxFtykQDFmuzmdHEp6EW2RFNwAszVSBQ6AtN6MNoG 21RL0YuD76/zzRpo8liXm6XBABKAiOCyHHx01ckkG74TVGic27wcEkRHPmrx19A1U5xZR1Z8 6O85Ee/dA31befj2icWcmx0mczJFNBe2FXLp5G6Ip6jAZI/XwvAvoavQmgt8D7MHsI7gRz8l 9lApepfR/XyCn8NnvcdFYKf6LU3TSKELkxkRdVK3vsAPUPYSQGI9Qm+EWKDUeITGKWS6m69M dJkGexXXRfn1CqukCESNZRRH5BKxswW9PgwUZK1A15eqLaOjCtbgLSJ/AjEuWIbadFPk8E8F 4DvSwy/AlGg3Xt5pmucg/RHa0yZYMYFbjLSxOqa0vsEPLNdvfBOcXMd6KqVvXKUAlE+/xuro x7yPf7K7u19yLZDm5nnPbVDCj6Vd/LydrWs2yKiv+teaejgNZ/1iDoUjV38LiJqMqA0Sf0us Ziw6PvMw1LikJMtdmLoi72tNvJu252pfex1NsnXEiFrrRGaUpWx3ypZqnGKF5NZtfh8uOy1T BScQ+mtf4c3X9x9+iVkWxJGGUxAN5WtP7bSngLjnfGiERNH7BfmKumg/nrXbW12UC8EFpn9K w3sscaV+dFqg9VQNSAAGs1ZLcd0EH37VYsiUu/Bhz2SI22ro1GF47XczEtqrXmBD3SfC8/17 K7UXhW0Jlz4pKjMy8ofqIBo+AEeCHFmm+QrY0YB4JhMhiunCHIdZ/EoWXnc5kq4TgSpvH05W N3MUIfmISD0XDABbg+lpdq/D0GQAesBPtq/LTssl69Rh+FaG6vYaIaNNA85i5u1Rtcn5O6iI NAavHb3O3BdB7l3EP0L6KXTbfhPn5vnK7Fhxaw5u8P3ChcaR74N0RSN2eaLuTPvS6nwqakAG YT5qa2ojq12pY4d3PuMo0JoJSw=
Ironport-hdrordr: A9a23:FgE+vKwXlTCi2FzCRLghKrPwx71zdoMgy1knxilNoERuA6+lfr OV7ZYmPHjP+UgssRAb6K+90ca7IE80maQe3WBzB8bSYOCFgguVxehZhOOI/9SKIUHDH5tmu5 uIBJIQNDSfNzVHZI3BkWyF+p4bsb26GY6T9IDjJy0Bd3ANV0lCgj0JczpyUiBNNXJ77dRVLu vn2iL0ygDQAUg/f4CnAnEeU6zZq8fWkY+OW296Ozc3rBSLhSmlrKH3CAKZ2BB2aUIy/Ysf
Ironport-phdr: A9a23:7jDnZhNxHBMFfkbxmKYl6nYXBxdPi9zP1u491JMrhvp0f7i5+Ny6Z QqDv64r1wCVFt+Ko9t/yMPu+5j6XmIB5ZvT+FsjS7drEyE/tMMNggY7C9SEA0CoZNTjbig9A dgQHAQ9pyLzPkdaAtvxaEPPqXOu8zESBg//NQ1oLejpB4Lelcu62/689pHJbQhFhjWwbbxsI BiysA7cqtQYjYx+J6gr1xDHuGFIe+NYxWNpIVKcgRPx7dqu8ZBg7ipdpesv+9ZPXqvmcas4S 6dYDCk9PGAu+MLrrxjDQhCR6XYaT24bjwBHAwnB7BH9Q5fxri73vfdz1SWGIcH7S60/VDK/5 KlpVRDokj8KOCI6/m/ZhcN/grxVrhK8qRFk2YHYfJuYOeBicq7Tf94XQ3dKUMZLVyxGB4Oxd 5IBD/AfMuZDs4n9pkAOpga5CwayAOPvyThIhnn33aIg1eQqDAbL3Ak+ENIKs3TUq9P1OL0VU eCv16TIwjDDYOlX2Tf58oTHbhchofSVUL92bMHexlUhGRnfgVWMtYzqISmV1uIVvmWF8+ZtS +yhhnA7pw9+vzWiwtkgh4vNi48azl3J9jh1zJgoKdC2VEN2bt+pHZpQuiyZNYZ7RsIvT310t Cs5yrALv4OwciYNyJQi3RHfavqHfpCU7RLjTumRJTJ4i2x/eLKknRqy6lavx+vhXce3yFZHt jRJnsXIu3wX1BHe6tKLRuVj8ku8wzqC2ATe5vlALEwqj6bXNZAsz70qmpYNv0nOHjX6lFvqg KKWcEgv5/Km5P79Yrr8o5+RL490hR/6MqQpgsG/BP43MgkKX2SC9+W8zqDv8VT3QLhFivA6i KbZsJfdJcQUoq62HRVZ3Zok6xa6Fzum0dIYkmcbLF9dZh6Lk4zkN0vNLf34F/uznUqgnCpxy /3JOrDtGpDNIWLCkLflc7Z98UlcyA8rwNBa+Z1UDrIBIPX1WkPrs9zYFAQ0MwOxw+n9CdV90 pkSVn6IAq+cKK/St0SH6fo1I+aQfI8VpCr9K/896vLzlXM5g0MSfbG13ZsLb3C1BuhpI0KAY Xb1ntgBFXoKsRElQezxiFyCVCZTaGyoU6I94DE7EoOmAp3ZSoCjmrzSlBu8S5ZRfyVNDk2GO XbubYSNHfkWOwyIJco0tSYJTqSgUMcE2BWtswn7wrwveu/Z/i4fs9TkzvB64uTSkVc58jkiX JfV6H2EU2whxjBAfDQxxq0q+SSVq3+G2Kl82blDEMBLoulOWUE8PILdyOpzD5bzXBjAd5GHU gXuWc2oVBc2SN952NoSewBlAdz3ix3H3C2sRbgPv7OODZ0wtKnb2iu5PN5znk7Pz7JplFw6W o1KPGyiiLR48l3WCorKlEPfkLyCeqEV3SqL/2CGniKVpE8Ndgl2XO3eWGwHIEvbqdOs/kTZU 7qnEqgqKCNEwM+Gb7RQM5jn0QQAS/DkN9DTJWm2ng9cHD6uwbWBJMrvcmQZhmDGDVQc1hoU9 jCAPBQ/ASGopyTfCiZvHBTheRGk9+42s369QkIuqmPCJ0R8y7q4/AIUjv2AWrsS2LwDoiIot zRzGh60wdvXD9OKowcpcr9bZJsx51JO1GSRsAIYXNToKq1mhVkYNQNtl0zr3hRzTI5HlIlir X8nyhZzNbPNyElIJHuT2ZH9PKGSK3Gnpkj+Lf6LnAuEiZDKq/RqirxwsVjosQC3G1B39nxm1 4MQyH6A/tDQCwFUV5vtU0Ex/hw8prfAYyB76ZmHsB8keaSyrDLG3MokQeU/zRP1NdJSNKCDE kn1CeUVAsGvLKohnF3jPXdmdKhCsbU5Oc+rba7M3aOvP+Fm2jW8pWtC6YF5lEmL8mAvAv6N1 JEDzfaC2wKBXDqpl1atvPf8noVcbC0TFG6yocT9LLZYfbY6PYMCCGP0Ztay2s07nZnmHXhR6 F+kAVoCns6vYxubKVLnj0Vc0kEeoHrvniXdrXQ8ljwtra2ZmivU6+vnfRsDfGVMQSFugEztL o69k90BFBLwPk55yV3/vx+8m/kTrb83N2TJREZUYyX6SgMqGrC9sLaPeY8H6Z8ltzlWTPXpZ FmbTrDnpB5JmyjnHmZY2HU6b2Tw4sS/z0E80jjEaioi/x+7MYlqyBzS5cLRX6tU1zsCHmxjj CXPQ0K7NJ+v9MmVkJHKtqa/UXigX9tda3qOr8vIuS2l6GltGRD6keq0n4itFAU+0ij9kd5wf SrNpRf4JILs0u7pVIAvNlktH1L658dgT8t7n48zg5dW3mIyiZCc/H5BmmD2e4Y+u+q2fD8GQ jgFxMTQ6Q7u1Rh4L36H8In+U22U3sprY9TpKnNTwC826NpGTbuF9LER1zUguUK29EiCBJo11 idY0/Yl72QWxv0EqBZ4hDvIGagcRAFZJXC+zEnOtoHm6v8LOyD3NuLsnEtmwYL/UPfY+VoaA SihPM9lRH4VjI03MUqQgiOtrNi8Ip+IK4pU7EXckg+c3bYLbshtx7xa3Ww/fjil9Xw9l7xk1 1o3gdfj7dLBcyI0rMfbSlZZLmGnOJ9Vo2uwy/4YxoHPgciuBskzQ21bGsK3ErT4VmpV762vN h7SQmRj8THCSOaZRUnHrx44yhCHW5GzayPNfChfnYgkHUPNYhQY2V9cXS1mzMRgSEb3lIq4I R0/vndItxb5skcekLs2cUOkAyGE/kHwLW5lLfrXZAxf6gUIj6vMGeqZ6O87XyRR/5n76ReIN nTefQNDS2cARk2DAVnneLio/9jJteaCVKK4KLPVbLOCpPY7Nb/AzI+z0oZg4zeHN9mednhkA foh30NfXHd/U83HkjQLQiYTmmrDdcme7Bu7/yR2qIi4/pGJEEr34pCTDrJJLdh10xW/gKPGK PTJwSgleHBX0ZQDwXKOw78anRYThyxoazixAOEAuCrKH8ey0udcCx8WbT82NdMdtfptmFkQf 5SB05Wph+0d7LZ9EVpOWF3/l9v8YMULJzv4L1bbHAORM7/AIzTXwsbxaKf6SLtKjewSuQfj3 FTTW0LlIDmHkCHkEh61NuQZxiSWOB9Zvse6aD5iDGHiSJTtbRjxY7oVxXUmhKY5gH/HLztWK T9nb0ZEtaGd9wtdi/R7XnNbtz9rcbjClCGe4O3VbJ0RtLE4Z0Y83/If63M8xbxP6ShCT/Egg yreoOllpFS+m/WOwD5qOPKvgjNChYbOol87fKuFp99PXnHL+B9L5mKVWUxiTzRNBdjmuqQWw d/KxvubwNJq/Nfd/M9aDM/ReprvDQ==
Ironport-sdr: 6343fc61_lyGSJfPqgNYXDdfrJazVSk/jhsWu6nW9USyttoc9ITwZo/R qGte7j8t2Z/NsGlEfqqJ3I837FfXidyAeyGJ83w==

---------------------------------------------------------------
Agda Implementors' Meeting XXXI
Last call for participation
http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Main.AIMXXXI
---------------------------------------------------------------

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.

Unfortunately, the EuroProofNet day we initially planned has been cancelled.

Registration deadline (extended): October 21st

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

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

Please spread the word about this meeting.

Best regards,
Orestis

[Coq-Club] LAST CALL: Agda Implementors' Meeting XXXI - Edinburgh, 10-16 November 2022, Orestis Melkonian, 10/10/2022