Home
About
Resources
Overview
Formalization
Automated Reasoning
Machine Learning
Neural Proving
Events
People
Team
Advisory Boards
Positions
Participate
Workshops
Summer Schools
Collaborative Visits
Email List
Visitor Information
Donate
Select Page
« All Events
This event has passed.
SLMath and ICARM joint workshop
October 6, 2025
-
October 9, 2025
Efficient Search for Combinatorial Objects
»
Lean for PDEs
Add to calendar
Google Calendar
iCalendar
Outlook 365
Outlook Live
Details
Start:
October 6, 2025
End:
October 9, 2025
Website:
https://www.slmath.org/workshops/1180
