coq-club AT inria.fr
Subject: The Coq mailing list
List archive
- From: Rob Lewis <r.y.lewis AT vu.nl>
- To: <coq-club AT inria.fr>, <cl-isabelle-users AT lists.cam.ac.uk>, lean-user <lean-user AT googlegroups.com>, <logic AT math.uni-bonn.de>
- Subject: [Coq-Club] Lean Together 2021: January 4-7, Call for Participation
- Date: Sun, 6 Dec 2020 18:53:09 -0500
- Authentication-results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=r.y.lewis AT vu.nl; spf=Pass smtp.mailfrom=r.y.lewis AT vu.nl; spf=Pass smtp.helo=postmaster AT mailin.vu.nl
- Ironport-phdr: 9a23:UT0jbBVdtRDSAF7JXLywFX3LYqXV8LGtZVwlr6E/grcLSJyIuqrYbRCGt8tkgFKBZ4jH8fUM07OQ7/m/HzVfut3Y6DgrS99lb1c9k8IYnggtUoauKHbQC7rUVRE8B9lIT1R//nu2YgB/Ecf6YEDO8DXptWZBUhrwOhBoKevrB4Xck9q41/yo+53Ufg5EmCexbal9IRmrrwjdrNQajIlsJ6o+1xfFvmZDdvhLy29vOV+dhQv36N2q/J5k/SRQuvYh+NBFXK7nYak2TqFWASo/PWwt68LlqRfMTQ2U5nsBSWoWiQZHAxLE7B7hQJj8tDbxu/dn1ymbOc32Sq00WSin4qx2RhLklDsLOjgk+27Ql8JwkblboAq/qBNj347aboaVNP9kcaPce9MRWG5NU8lVWiBEBI63cokBAPcbPetAoIbzp1UAoxijCweyGOzvyyRFiWXq0aAgyektDR3K0Q4mEtkTsHrUttL1NKIKXO6py6nH1ijIYfVI1jbz6YjIaQ0qrPaWXb5qccvd000vGB3Lj1WRsozoJC2V1vkXv2id6+ptTOSigHMopA9tuDag3NssipXXiYIPzFDJ7Th0zog6KNClRkB2b8CpHZRNuyyVN4V6XN0vTmN2tSs6ybALuJq2cDUWxJopxRPSdvyJfYiV7h79SuqcPTV1iXJjdbmiiRiy9k2gxff9VsmyyFtKoStFksXMtnAQzBPf8MmHSvx780y82jiPzxje5vxKLEwoj6bWJZwszqQtmpcSvknPBC37lUvugKOLeEgo5vKk5urlb7n8uJORN4F5hhv/P6koh8exG/43MhIUUGie4em81KPs/Un+QLhSi/05iKjZsJTbJcQdvKK5HRJV3pwl6xa7Fzum0dIYkmcbLF9dZR6KgZTlN0vALf36F/uznlWhnThxy/3EMLDtGpDNIWLCkLflc7Z98UlcyA8rwNBF/Z5VCqsNIPbtVU7/tdzYFQQ0MxKpw+r9DtV90psSWXiTDa+BLKPSrViI6/ozLOmLfY8ZoSryK/w45/H1lnI5gl8cfayx3ZQNcny4H/JmI1+YYXX2mNsBH30K7UICS7m+g1qbFDVXenyaXqQm5zh9BpjwSc+XTYTogaeI1iq/GpATe3tLEEukFXbza57CUP4JLiuZZNJixHhMUbWoTco8zhy0/Fv+xrNha/fP9zcwupXk29x46PfUiAkpszdzCpLZmzWJSG51lUsNTiM2mr15oAl3zVGFl6R11a92D9tWsslOWE8eOIHd1KQuEZbjHAbMYdaSYEi7BNOiV2JiBuktysMDNh4uU+6piQrOinb7WuNHp/mwHJUxt5nk8T3pPc8imWjbkq8l3QF/E5l/cFa+j6s6zDD9QovAkkGXjaGvKvYCwWjL8DXalDfcjARjSAd1FJ79czUfa0/R9Iir40rDS76oT6o6dA1Fm5eP
Dear all,
Lean Together 2021, a meeting for Lean users and other formalizers, will take place virtually January 4-7.
At this meeting we discuss ongoing projects in formalized mathematics and software verification, as well as infrastructure and outreach for Lean and its community. We welcome speakers and participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.
More detailed scheduling information will appear on the website soon. We hope that you'll save the dates and attend some or all of the sessions!
If you have any questions please contact the organizers:
* Robert Y. Lewis (r.y.lewis AT vu.nl)
* Patrick Massot (patrick.massot AT math.cnrs.fr)
- [Coq-Club] Lean Together 2021: January 4-7, Call for Participation, Rob Lewis, 12/07/2020
Archive powered by MHonArc 2.6.19+.