- Date
- Tuesday, October 6, 2026
- Time
- 2:00 PM
- Venue
- Wright Laboratory
- Address
- 272 Whitney Avenue, New Haven, CT 06511
- Category
- Other
- Organizer
- Yale University Events
- Setting
- Indoor
About This Event
Marco David presents a talk on a benchmark of 100 quantum theorems designed to support the formal verification of quantum theory and quantum computing. The seminar is hosted at Yale's Wright Laboratory in New Haven.
Plan your visit
Wright Laboratory · 272 Whitney Avenue, New Haven, CT 06511
Source: Yale University Events