Home /  Workshop /  Schedules /  Mini Course: Mathematical Programming and Reasoning in Lean

Mini Course: Mathematical Programming and Reasoning in Lean

Modern Math Workshop 2026 October 29, 2026 - October 29, 2026

October 29, 2026 (02:00 PM PDT - 03:30 PM PDT)
Speaker(s): Jeremy Avigad (Institute for Computer-Aided Reasoning in Mathematics (ICARM); Carnegie Mellon University)
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video
No Consent
No Video Uploaded
Abstract No Abstract Uploaded
Supplements No Notes/Supplements Uploaded