Then Lean for the Curious Mathematician is for you! The 2023 edition will comprise two consecutive but independent events: an intensive four-day tutorial (listed separatly), and a shorter colloquium for the impatient (this listing). The colloquium will showcase recent formalization and teaching projects with Lean. It will give an impression of the current developments in computer-assisted theorem proving and invite to reflect on its future role in mathematics.
Conference-Service.com offers, as part of its business activities, a directory of upcoming scientific and technical meetings. The calendar is published for the convenience of conference participants and we strive to support conference organisers who need to publish their upcoming events. Although great care is being taken to ensure the correctness of all entries, we cannot accept any liability that may arise from the presence, absence or incorrectness of any particular information on this website. Always check with the meeting organiser before making arrangements to participate in an event!