Lean Together 2019

lean.forward

Coordinates

Dates
January 7-11, 2019
Location
Vrije Universiteit Amsterdam, The Netherlands

Workshop Description

Lean Together is a meeting for users (both current and future) and developers of the Lean proof assistant and its libraries, focusing on the formalization of mathematics. The 2019 meeting will also serve to kick off the Lean Forward project.

Many people have expressed interest in uniting the interactive theorem proving and mathematics communities. Indeed, one goal of Lean Forward is to gather mathematicians, formalizers, and tool developers together. We welcome participants from all fields at the Lean Together workshop, including those with little experience using proof assistants. With a mixed program of scientific talks, tutorials, and collaboration time, we hope to cross disciplinary boundaries and learn what each community needs from the other.

Schedule

To be announced.

Registration

click to register Early registration is appreciated!

Participants

(to be completed)

Organizers

Acknowledgments

To be added.