Universiteit van Amsterdam


Institute for Logic, Language and Computation

6 - 10 January 2020, Formal Methods in Mathematics / Lean Together 2020, Pittsburgh PA, U.S.A.

Date: 6 - 10 January 2020
Location: Pittsburgh PA, U.S.A.
Deadline: Friday 6 December 2019

*Formal Methods in Mathematics / Lean Together 2020* will run from Monday, January 6 to Friday, January 10, 2020 at Carnegie Mellon University, in Pittsburgh, Pennsylvania. The meeting is a successor to Lean Together 2019.

The first three days will focus on formal methods in pure and applied mathematics, including interactive theorem proving, automated reasoning, verification of symbolic and numeric computation, and general mathematical infrastructure. The last two days will be devoted to specifically to the Lean Theorem Prover and its core library, mathlib. Users and library developers will have opportunities to present work in progress and discuss plans for the future.

Attendance is free and open to the public, but we ask you to let us know by December 6 if you plan to come.

For more information, see http://www.andrew.cmu.edu/user/avigad/meetings/fomm2020 or contact Jeremy Avigad at , or Robert Y. Lewis at .