Home
About
Message from the Board Chair
Message from the Director
The Creation of BIRS
Governance of the Station
Scientific Management
Scientific Director
Equity, Diversity and Inclusion Advisory Board
Scientific Advisory Board
Program Committee
The Review Process
Administrative Management
Board of Directors
Facilities
Location of BIRS
BIRS Code of Conduct
Resources
Frequently Asked Questions
For Participants
For Organizers
For Applicants
Reply to a Workshop Invitation
Organizer Interface
BIRS and Banff Centre Facilities
Calendar of All Events
Resources for Equity, Diversity and Inclusion
Programs
General Program Descriptions
Calendar of All BIRS Events
List of All Events
Workshops at CMO (Mexico)
Workshops at IASM (China)
Workshops at IMAG (Spain)
Workshops at UBCO (Canada)
Workshops at CMI (India)
List of 5-Day Workshops
List of 2-Day Workshops
Focused Research Groups
Public Lectures
Research in Teams
Summer Schools
Live Stream
Videos
Services
For Participants
Accept/Decline an Invitation
Online Payment
Feedback Form
For Organizers
Add Participants
Participant List Submission/Status
Enter your Schedule
For Applicants
Guidelines
Proposal Submission Form
For Scientific Board
Proposal Review System
Feedback Form
Publications
News
Workshop Reports
Scientific Reports
Proceedings
Annual Reports
Brochures
Calendar Posters
Testimonials
Search
Contact
Contact Us
Getting to BIRS
Video From
23w5124: Formalization of Cohomology Theories
Joël Riou
,
Université Paris-Saclay
Wednesday, May 24, 2023 11:10
- 12:00
Formalization of derived categories in Lean
Joël Riou, Video: Formalization of derived categories in Lean
Joël Riou, Video: Formalization of derived categories in Lean
Joël Riou, Formalization of derived categories in Lean, Formalization of Cohomology Theories, BIRS, BIRS talk, 23w5124, math, mathematics, video
Banff International Research Station
Banff International Research Station
presentation
mpeg4
75M
http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos
http://www.birs.ca/events/2023/5-day-workshops/23w5124/videos/watch/202305241110-Riou.html
Download this video (75M)
Other videos from this workshop
