Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 06:00 - 07:00 at Sponsors - Microsoft meeting

Introduction to the Lean proof assistant and programming language. http://leanprover.github.io/

Thu 18 Jun

Displayed time zone: Pacific Time (US & Canada) change

06:00 - 07:00
Microsoft meetingSponsors at Sponsors

Join researchers and interns for an interactive show and tell on the latest PL advances from Microsoft. Join Microsoft’s Zoom meeting

The meeting id and password will be distributed to attendees via the conference Slack workspace.

Lean 4
Leonardo de Moura Microsoft Research, n.n., Sebastian Ullrich KIT, Germany