Grand Opening Symposium
Our official launch event as an AIM Research Community
Schedule
All times Eastern Time (US & Canada).
Scan to see all details
on
ScholarLattice.org
!
September 08
09:00AM – 11:00AM
Session #1
09:00AM – 09:10AM
Introduction
Icon: video
09:10AM – 09:55AM
Featured Presentation #1.1
Icon: video
House of Graphs: A database of interesting graphs and more
— Jan Goedgebeur
10:05AM – 10:50AM
Featured Presentation #1.2
Icon: video
Mathlib: Maintaining a monolith
— Yaël Dillies
10:50AM – 11:00AM
Conclusion
09:00AM – 09:10AM
Introduction
Icon: video
09:10AM – 09:55AM
Featured Presentation #1.1
Icon: video
House of Graphs: A database of interesting graphs and more
— Jan Goedgebeur
10:05AM – 10:50AM
Featured Presentation #1.2
Icon: video
Mathlib: Maintaining a monolith
— Yaël Dillies
10:50AM – 11:00AM
Conclusion
03:00PM – 05:00PM
Session #2
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
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
September 15
09:00AM – 11:00AM
Session #3
Icon: video
09:00AM – 09:10AM
Introduction
Icon: video
09:10AM – 10:50AM
Featured Presentation #3
Icon: video
Accessible Papers with PreTeXt
— Oscar Levin
10:50AM – 11:00AM
Conclusion
Icon: video
09:00AM – 09:10AM
Introduction
Icon: video
09:10AM – 10:50AM
Featured Presentation #3
Icon: video
Accessible Papers with PreTeXt
— Oscar Levin
10:50AM – 11:00AM
Conclusion
Icon: video
03:00PM – 05:00PM
Session #4
03:00PM – 03:10PM
Introduction
Icon: video
03:10PM – 03:55PM
Featured Presentation #4.1
Icon: video
The L-functions and Modular Forms Database
— David Roe
04:05PM – 04:50PM
Featured Presentation #4.2
Icon: video
Lessons from Software on Managing Complexity
— Jeremy Kun
04:50PM – 05:00PM
Conclusion
03:00PM – 03:10PM
Introduction
Icon: video
03:10PM – 03:55PM
Featured Presentation #4.1
Icon: video
The L-functions and Modular Forms Database
— David Roe
04:05PM – 04:50PM
Featured Presentation #4.2
Icon: video
Lessons from Software on Managing Complexity
— Jeremy Kun
04:50PM – 05:00PM
Conclusion