Monday, February 15
Ilijas Farah (York University)
Automorphisms of coronas, general remarks on forcing axioms
Xiudi Tang (University of Toronto)
Symplectic excision
Kirill Zainoulline (University of Ottawa)
Algebraic Geometry
Tuesday, February 16
Swetaprovo Chaudhuri (University of Toronto)
Constructing a Covid-19 disease spread model from the flow physics of infectious droplets and aerosols
Wednesday, February 17
Kirill Zainoulline (University of Ottawa)
Algebraic Geometry
Sean Dewar (Johann Radon Institute for Computational and Applied Mathematics (RICAM))
Part of the Thematic Program on Geometric Constraint Systems, Framework Rigidity, and Distance Geometry
Thursday, February 18
David Dill, Novi Research
Formal verification of Move programs for the Libra blockchain
Friday, February 19
Ilijas Farah (York University)
Introducing OCA
Cosburn Middle School (27 Students - Grade 7)
Assaf Rinot (Bar-Ilan University, Israel)
All colorings are strong - but some colorings are stronger than the others
Cancelled
The following events originally scheduled for this period have been cancelled:
Part of the Thematic Program on Geometric Constraint Systems, Framework Rigidity, and Distance Geometry