SLMath and ICARM joint workshop
Lean for PDEs
7 events found.
Events
-
-
-
-
Efficient Search for Combinatorial Objects
Walter E. Washington Convention Center DC 801 Allen Y. Lew Place NW, Washington, DC, United StatesA 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
-
Mathematical Institutes Open House
Marquis 901 Massachusetts Ave NW, Washingon, DC, United StatesPlease 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!
-
-
NSF AIMing PI Meeting
ICARM 5000 Forbes Ave, Pittsburgh, PA, United States -
Milestones of Autonomous Mathematics
https://icarm.io/project/milestones-of-autonomous-mathematics/
-
-
Workshop on Algebraic Geometry and Machine Learning
ICARM 5000 Forbes Ave, Pittsburgh, PA, United StatesWorkshop Webpage
-
-
Summer School on Formalization of Mathematics
ICARM 5000 Forbes Ave, Pittsburgh, PA, United StatesWorkshop web page