- Library Home /
- Search Collections /
- Open Collections /
- Browse Collections /
- BIRS Workshop Lecture Videos
Open Collections
BIRS Workshop Lecture Videos
The Banff International Research Station (BIRS) is a joint Canada-US-Mexico initiative that seeks to bring together people from a wide range of mathematical, scientific and industry backgrounds and to create a forum for the exchange of knowledge and methods between these specialists. The BIRS Workshop Lecture Videos are primary research data in the disciplines of mathematics, statistics and theoretical computer science.
Popular Topics
| Popular Topics | |
| Mathematics | 9009 |
| Partial differential equations | 1373 |
| Statistics | 997 |
| Probability theory and stochastic processes | 918 |
| Algebraic geometry | 853 |
| Computer science | 838 |
| Biology and other natural sciences | 810 |
| Quantum theory | 780 |
| Dynamical systems and ergodic theory | 703 |
| Combinatorics | 696 |
Latest Videos
Semi-Algebraic Proof Systems for QBF
Kasche, Lea – Jan 15, 2026
29.0 minutes
Arrays, Maps, and Vectors With Abstract Domain for SMT
Bonacina, Maria Paola – Jan 15, 2026
31.0 minutes
Quantified CDCL and Dependency Schemes: A proof-theoretic study
Mahajan, Meena – Jan 15, 2026
34.0 minutes
Proofs (that contain programs that contain proofs)*
Rebola-Pardo, Adrian – Jan 15, 2026
32.0 minutes
Extended Resolution Clause Learning via Dual Implication Points
Oliveras, Albert – Jan 14, 2026
0.0 minutes
Semi-Algebraic Proof Systems for QBF
by Kasche, Lea – January 15, 2026 6 Views
Mathematics, Theoretical Computer Science, Mathematical Logic And Foundations, Computer Science
Arrays, Maps, and Vectors With Abstract Domain for SMT
Bonacina, Maria Paola – Jan 15, 2026
31.0 minutes
Quantified CDCL and Dependency Schemes: A proof-theoretic study
Mahajan, Meena – Jan 15, 2026
34.0 minutes
Proofs (that contain programs that contain proofs)*
Rebola-Pardo, Adrian – Jan 15, 2026
32.0 minutes
Extended Resolution Clause Learning via Dual Implication Points
Oliveras, Albert – Jan 14, 2026
0.0 minutes