Logic List Mailing Archive

CfP: Lean Together 2024, 9-12 January 2024, Online

Dear all,

Lean Together 2024 will take place virtually January 9-12: https://leanprover-community.github.io/lt2024/

Lean Together is an annual meeting for users, developers, and fans of the Lean proof assistant and its library mathlib. 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 participants from other proof assistant communities, as well as people who are inexperienced with proof assistants but want to learn more.

A preliminary program is now available on the website. 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:
* David Thrane Christiansen (david@lean-fro.org<mailto:david@lean-fro.org>)
* Robert Y. Lewis (robert_lewis@brown.edu<mailto:robert_lewis@brown.edu>)
* Patrick Massot (patrick.massot@math.cnrs.fr<mailto:patrick.massot@math.cnrs.fr>)
--
[LOGIC] mailing list, provided by DLMPST
More information (including information about subscription management) can
be found here: http://dlmpst.org/pages/logic-list.php