coq-club AT inria.fr

Subject: The Coq mailing list

List archive

[Coq-Club] CUDW 2019 - 2nd call for participation

From: Pierre-Marie Pédrot <pierre-marie.pedrot AT inria.fr>
To: coq-club <coq-club AT inria.fr>
Subject: [Coq-Club] CUDW 2019 - 2nd call for participation
Date: Fri, 3 May 2019 17:28:39 +0200
Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=pierre-marie.pedrot AT inria.fr; spf=SoftFail smtp.mailfrom=pierre-marie.pedrot AT inria.fr; spf=None smtp.helo=postmaster AT korolev.univ-paris7.fr
Autocrypt: addr=pierre-marie.pedrot AT inria.fr; prefer-encrypt=mutual; keydata= mQINBFOFpSQBEACyDotTWHydRK+7nzdk+ULrBszrG8Eu7J59+eogMOIOQYKw/joFiTOHnJgG vUzt//PqMURC7tZ72teZHeyLKHwr3a9oOC4W36Wrt4jVGvAnYk60hF20i921ljIN8aj41UYz t+8vgsqgpTCNbcgxhhgXSQ+9n/OZs1yoy6kgIE378HsIhGoGTQxmwdz2k0Aic/qun2Z4CO9v zjTjkUYMJxs4XwVsprMkO/a6qVBkNtEjbwVDJS5d7qzfph2DHJXFyUOPc1GudPI+VW2Abi4A 2US/ycyGMUTYRVaUDUF/GqfqmYgUj4vFvANdB3Roa3XDVxAlkYcNuUqtcpQi9yoU6t+Agobp nqcn+WrtOwrJtvEh3KaaQvI4Yudz3pEmP9KL2VYenUQLuDqVL4KgdCPcAZmpkSC7KCm8Ns2v y69zHasNsPD9YiIXCgpGNZEEUjrG8Si+ej3/3MTqTBQqpSzqTagtGhGANrjEgHj6zdh+plby k/bCYHjX4oDPJZQx6GjmtGPandUAD+SImEwS6WMyCKtUSKJtqD+DVNWiwKAK3+CNxDW/DbRS /N2ACdtItJhFmPAb9Nxs6O27xyPCse4n9fMCT5pLQpDfMmkOQsjr1kCWiOWgjIgfOG64HrxQ Vcjg6mf9EEGVi4kpMhl6RzZ7wsg+ff3w/5NR1e1HX9yj/UbsLwARAQABtDNQaWVycmUtTWFy aWUgUMOpZHJvdCA8cGllcnJlLW1hcmllLnBlZHJvdEBpbnJpYS5mcj6JAj4EEwECACgFAlOF pSQCGwMFCRLMAwAGCwkIBwMCBhUIAgkKCwQWAgMBAh4BAheAAAoJEHkiwB/Zujx745sP/3JA gDdlat/mjqxgpC30Jy5Rnkgblxo/qnEmmhPxSQJKt77JaaDgRfsTrJZcO1K9LN6aLs8dPo26 V29TSt0UJhw5bQcTqi/wlD/ZfQ3I69gn9x6ln3T/7TV/g0tyObbzPYQLsi6p8wgJzO1F3Dr2 9XjEfB2jVs7ancTKbE+5yvwN0v3VCrtG5cFpAdkrMtZzXbXMAxRa7HueUjtxm/ls5zqbwTZ6 1tmJlSJJS+rL43InCxDFRbPO4YzV3z7+sEw/Kpn3HwVQz6y3aDQWqQlq/vF8r0p+3E3CB+h/ h6coMySbpwHZAAMsu9KpQBqGpbAjI5RXvcNJD+7MCqT5LYy/QmULqVaLS7zaspcZc2V2CW1w 4LaZtlMjt4gedGvd/UICuy1pw1GdR3YRlUCQGKnzVp8Cw1Bsd1SbZu0DT/DOt3DHyZLliENu P6PRPQT+Rmj21mDpj+bLJliIpRWQ99/cFA6mmKv7qYk49xWsUL0YxcGabGIObBbMpFoq+Coj 8Gmm10706NrJuhYJMxdxHQNbiV8eYnC6jKnL0F3BPeEloSpw0saq/8PVU7eTwvkrOBTVfiwa UFe7HLFDo6SaRoXJAeBa22ADM4bTQCrf856BMT/4BjHdSUAj4Sq1j1QUHVTWWRVsnNH8Nz10 /n2x8sxQIf8yVX4aN/Km/uz7Xq14hL6suQINBFOFpSQBEADMsZKO9fPtbmyMlS5YQl3B+p5E 17sEJAHSNGA4rfx7Uxij1H1PnTZ0kHhngrhEG1wzv2+1aORCg31Jqrwf//XPbcv6QL4CinD7 QUpbMdrZFo296AkAjuhO8J0LvB8CY3GY6n/G3njy9ISmemEH3dAzOM87Wt0En1dcSYJxdfM2 fmWq6ghlmcQA6A6g1vJ0iKnFcvh/IXHBm1/dtVSOj+2+S4/PLALMCUzugFQLVAKiv7pkdxPz KGxMMEnQuLXjoFivXV6i3q9+0FVVo2t9LfD1EzTNoKwx4866nVnVMU9myd6IS03lKAREmHhb YRKJt+dlmJoqttVczsruFa1SRmzhpp5O2jFWzR0C+SD23s70PXaZ4wcn4TzQKL+tGMRqELLF XepqWcmKnROvX+agmeZK1UxhaIGI0JpPtZHsNGNoU1dbzUE+opzHP5Lpouc5Te+MkXe4wSM6 WrfyTRqUfVr7CeaSozkX/AfgubNnNYmi8RduUjUBjukMEsRchirbyCh1397xK90HDpiiqPy/ PLaUx/sp2vp0TSxGPFtl9CmuSOPVi0HQI51SrnckMA/zQJu6AZyFkbb7fpUi/cPds7AVCLjd mNkLOe77sZ+/D3YKXiHujrpncau+NaQ2SKMrqcRocAeogbd+VV3DFGRgHereAZwHD87ruHeg jEO92QRw/QARAQABiQIlBBgBAgAPBQJThaUkAhsMBQkSzAMAAAoJEHkiwB/Zujx7eSsQAJnw yYs/yiYjwzYdlmGQP1fuG0RG6DwHXZDti9etXRhjgOMvE4+TKqSeM9gXCxdGE7M2aKV+PJvi twb4FRLBOl9YwlHTiV5UIJpcbJv+zvdNSDrlqSSln1Qfqq7HJUvDwSKcY8316pVuF5Q9gknX P/gRG4O8e/fBXuSiL08cDudnkbhSm6zb+VGaewivO0FuuCX4RpYtF4EULbCKof7SSCK3/WWl roX6H3S6dNo/3cUGahj7FfTaQMwHH34P6wGWtJCh7vhaxQ5QdXjj8ZkJfcE03uo+GbF7/xmo g5wxtsFUWhs5G0P534BmahBBKsINIyExt6JYASYL/oouC9c+AOjc3bON7Ae1jeHgx3BSSUju 81x+5MrXAqrLhJ6xDsQpATL7qDcBEHBodo0xlAIgb71qeIU5gZUOw/43eJOnexDFs4VWMthJ z2ot6WdRzYEKt75nuCZqaaUEM+MvOGNZZRM3Dkbqw3Jik1X+lOjc/OgUs+Xn9oaIylA1nojO 9E31ulGmniydilLd+4Vd+WQn0ZEwy75EzDTl0Ne/j8nvLyzeYIWbt5/06mR2L87DIEXmXkAM mwfFXNzzX9gVX8m7owb4CPTf5DCDrguwNdvcPePy81w+fXM7c0Dq+5hzPvh5MRruEDOfqaZw HXQ4ZkGmhsCD6dMF2cKX+EqLjopA136U
Ironport-phdr: 9a23:xRoyQR+2GiXNl/9uRHKM819IXTAuvvDOBiVQ1KB31+ocTK2v8tzYMVDF4r011RmVBNydtKsP2rOempujcFRI2YyGvnEGfc4EfD4+ouJSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47xaFLIv3K98yMZFAnhOgppPOT1HZPZg9iq2+yo9JDffhhEiCC/bL9vIxm7qRjdvdQKjIV/Lao81gHHqWZSdeRMwmNoK1OTnxLi6cq14ZVu7Sdete8/+sBZSan1cLg2QrJeDDQ9LmA6/9brugXZTQuO/XQTTGMbmQdVDgff7RH6WpDxsjbmtud4xSKXM9H6QawyVD+/6apgVR3mhzodNzMh7m/ZitF+gqFVrh2vqBNw35XZYI6JOPdkea3RYd0XSGhHU81MVyJBGIS8b44XAuQbPOZXsZP9p0EQohenAgejHvnvyj5WiXDux6M9yfkuERvB3Aw8AtkDt2zUrNTrO6cIS+C60rDEzTDZYPNM2Dfy9pLEcgg/rv6RR7JwdtbRxFIuFwPDlFWQqJbqMymb1uQXqmWW6fdrW+yoi24isQ5xoz6vy98jionImoIVyk3E+j5jzIkpIt24TUh2asOnHptIryyWKo97T8w4T212uCs3xacKtJ+mcCQQ1ZgqyR3SZ+SJfoWK+B7vSeScLStiiH54Zb6yhQy+/Eijx+D6S8K6ykxFrjBfndnJrn0N1wLc6syASvZl/Ueh3iyP1wfX6u5aP0A4j7fbK5ggwr4uj5YTqV7MHjX3mEXtjqKabEsk+vKw5+TmZLXpuIOcOpdphgz6PakigNKzDOQ3PwQUXmWX5P6w2KDt8ED6WLlKi+c5kqjdsJDUP8Qboau5DhdN0oYi9Rm/FS2m38oBkXkCNl1FYhOHgJbzN1HWPv/3EO2/g1OwkDpwxvDGOKfhApTXIXTZnrfhZ65x61RAxwor0dBf+5VUB6kdL/L0Q0/9rcDXDhskMwOv2OvnE9V81oYGWW2VGKOZMaXSsUWJ5u01OeWMapUV637BLK0u4OerhnskkxdJdq6wmJATdXqQH/J8Ikzfb2C60fkbFmJfhgszVvbnzXiLSz9eUE4zU7g7+nlvEIOrF53OA4Wkmr2Mmj+2EodRekhHDEqNGDHmbdPXCL83dCuOL5o5wXQ/Xr+7Rtp5jE38hErB07Nia9Hs1GgAr5u6jIp04ffSnFc8724sVpXP4yS2V2hx21gwaXoz1aF7r1Z6zw7bg6l+mf1RU9JJtagQD1UKcKXExuk/MOjcHwLMetDTFASlRc+hBTwvCM83wsFLe09nGs79yB7ZjXKn
Openpgp: preference=signencrypt

========================================================================

Fifth Coq Users and Developers Workshop

June 3rd - June 7th, 2019

Sophia-Antipolis (Nice, France)

========================================================================

“Ever dreamt of meddling with the innards of your favourite proof
assistant? The CUDW is just what you needed!”

The Coq Users and Developers Workshop is an event that brings together
the core developers of Coq and people interested in understanding,
improving or extending the system.

Its fifth edition will take place at the Sophia-Antipolis Inria center,
near Nice, from June 3rd to June 7th, 2019.

Registration to this event is free but mandatory for organization
purposes. To register you should simply add your name in the list of
participants on the wiki at the following address:

https://github.com/coq/coq/wiki/Coq-Users-and-Developers-Workshop-2019

If there is a specific topic you would like to work on, or discuss about
with the core devs, we recommend that you write it down there as well.
This will allow to elaborate a lax schedule so that people can work in
parallel groups, and synchronize regularly.

More information can be found on the wiki. Do not hesitate to contact
the organizers in case of doubt.

We hope to see many of you at the CUDW 2019!

PMP, for the CUDW organization

Attachment: signature.asc
Description: OpenPGP digital signature

[Coq-Club] CUDW 2019 - 2nd call for participation, Pierre-Marie Pédrot, 05/03/2019