BIRS Workshop Lecture Videos - UBC Library Open Collections

Library

BIRS Workshop Lecture Videos

Featured Collection

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.

Subscribe to this collection with RSS

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

View More

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

by Bonacina, Maria Paola – January 15, 2026 6 Views

Mathematics, Theoretical Computer Science, Mathematical Logic And Foundations, Computer Science

Quantified CDCL and Dependency Schemes: A proof-theoretic study

by Mahajan, Meena – January 15, 2026 5 Views

Mathematics, Theoretical Computer Science, Mathematical Logic And Foundations, Computer Science

Proofs (that contain programs that contain proofs)*

by Rebola-Pardo, Adrian – January 15, 2026 6 Views

Mathematics, Theoretical Computer Science, Mathematical Logic And Foundations, Computer Science

Extended Resolution Clause Learning via Dual Implication Points

by Oliveras, Albert – January 14, 2026 8 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

View More