coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] Agda Implementors' Meeting XXXIII: Call for talks and participation

From: Jesper Cockx <Jesper AT sikanda.be>
To: coq-club Club <coq-club AT inria.fr>
Subject: [Coq-Club] Agda Implementors' Meeting XXXIII: Call for talks and participation
Date: Mon, 14 Sep 2020 09:36:59 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=Jesper AT sikanda.be; spf=Pass smtp.mailfrom=Jesper AT sikanda.be; spf=None smtp.helo=postmaster AT ln02.mxout.alfaservers.com
Ironport-phdr: 9a23:v5+vVh/qK8o4dP9uRHKM819IXTAuvvDOBiVQ1KB20+scTK2v8tzYMVDF4r011RmVBNudsqgYwLqP+4nbGkU4qa6bt34DdJEeHzQksu4x2zIaPcieFEfgJ+TrZSFpVO5LVVti4m3peRMNQJW2aFLduGC94iAPERvjKwV1Ov71GonPhMiryuy+4ZLebxhJiTanfL9+Mhq7oQrSu8ULnIBvNrs/xhzVr3VSZu9Y33loJVWdnxb94se/4ptu+DlOtvwi6sBNT7z0c7w3QrJEAjsmNXs15NDwuhnYUQSP/HocXX4InRdOHgPI8Qv1Xpb1siv9q+p9xCyXNtD4QLwoRTiv6bpgRQT2gykbKTE27GDXitRxjK1FphKhuwd/yJPQbI2MKfZyYr/RcdYcSGFcXMheSjZBD5uzYIUPAeQPPvtWoZfhqFYVtxSyGROhCfnzxjNUhHL727Ax3eQ7EQHB2QwtB9YAv2rPrNXtKqgSS/2+wbfPzTrfbPNX1ir25Y/MfB8/uvGMRax/cdDKxEk0FgPFjU+fqYr4MDyPzOgCqHaU4vNmWOmyhGEptxt/rSKzxscwlIbJnIQVx0jY+Ch73oo4JtO2RU15bNK5EZZdtS+XOohqTs4gTGxluCk3xLIatZC0eCUG1okqywPDZvKHfIWE/xbuWPifLDtlgn9uZbyxhxG38Ue6y+38UNG530pKriVfltnMs24C1wbI6sSdUfty4EGs0iuM2QDL8uxJIkA5mbDGJ5Mj2LI8i5kevETZEiL4nEj6lLGaelkg9+Sy6OnqYq/qqoGBO4J2kA3zPaojl8qiCuoiKAcORXKU+eGk2b3j40L5RLJKg+UykqnfrJzWO94Xpqu2Ag9Sz4Yj9wyzAC2i0NQWh3YHN0xKeAiZj4f3IVHOO+r0Auu4g1SpiDtrxvbGMaP9ApjVLXXOkK3tcat/5kJG1QY+ztBS64haB7wFOP7zX1X+tN3cDh83KQy0xOPnBc152IwAQmKPGrGWMLnJvF+T5+IvIPODZIkItznnMfQq/ODhgWcjmVABZampwYcXaHegE/t6JEWZeGPgjcsFEWcXpQUzV/fqiV2HUT5LfXm+RaM85jchCIKnF4jPXI6tgKbSlBu8S5ZRfyVNDk2GWVzsao/MD/wLcWeZJtJruj0CT7moDYE7g0KArgj/nphqNfLZ4GUzspngxJAhxeDIjRwo3Sd1DM2b32jLRWwizTBAfCM/wK0q+R818VyEy6UtxqUATYUPtcMMaR8zMNvn98I/E8r7A1iTZdaKQVCqS5OsDGNpF49j85o1e094Xu6aoFXD0i6tWe9Hk7rTXtox4qXBwz74I8h00HvcyqQ7lB8tRc4dbTT31J46zBDaAsvyq2vckq+rcaoG2yuUrjWYzGmHuk1RFgR9A/zI

The thirty-third Agda Implementors' Meeting will take place online from Monday 2020-10-12 to Friday 2020-10-23. The meeting will be organized in a similar way to AIM XXXII, with a reduced program spread over two weeks. See the wiki for details:

https://wiki.portal.chalmers.se/agda/Main/AIMXXXIII

You can register by sending me an email at jesper AT sikanda.be, or by editing the wiki page directly. Please also send me an email if you would like to give a talk, preferably before 2020-10-05.

Best regards,

Jesper

[Coq-Club] Agda Implementors' Meeting XXXIII: Call for talks and participation, Jesper Cockx, 09/14/2020