SLMath and ICARM joint workshop
Lean for PDEs
Lean for PDEs
A two-part tutorial at the Joint Mathematics Meetings on the use of automated reasoning to locate combinatorial objects. Meets 1-2:30 pm each day in Room 207A. Associated slides: first day second day
Please join us at the Mathematical Institutes Open House reception to learn about the latest programs and workshops being held by a number of institutions. Hope to see you there!