ScholarLattice
Icon: home
Home
Icon: dashboard
Dashboard
Icon: collection
Collections
Privacy Policy
Terms of Service
Sign up or sign in
Menu
ScholarLattice
Icon: collection
Icon: chevron
code4math
Icon: chevron
Convenings
Icon: chevron
Symposium 2025
Icon: chevron
Icon: calendar
Events
Icon: chevron
Details
code4math
Icon: chevron
Convenings
Grand Opening Symposium
Icon: calendar
Session #2
| 2025 Sep 08 from 03:00PM to 05:00PM (Eastern Time (US & Canada))
Icon: calendar
Session #2
| 2025 Sep 08 from 03:00PM to 05:00PM (Eastern Time (US & Canada))
Subevents
September 08
03:00PM – 03:10PM
Introduction
Icon: video
03:10PM – 03:55PM
Featured Presentation #2.1
Icon: video
The Institute for Computer-Aided Reasoning in Mathematics (ICARM)
— Jeremy Avigad
04:05PM – 04:50PM
Featured Presentation #2.2
Icon: video
HTML Papers on arXiv -- Intent on Accessibility
— Deyan Ginev
04:50PM – 05:00PM
Conclusion
« Back to Symposium 2025 Events
