Yuming Zhao, Department of Pure Mathematics, University of Waterloo
"An operator algebraic formulation of self-testing"
Liam Orovec, Department of Pure Mathematics, University of Waterloo
"Unique Representations of Real Numbers in Non-Integer Bases"
Rachael Alvir, Department of Pure Mathematics, University of Waterloo
"Effectively closed sets - Part VI"
An effectively closed set (or $\Pi^0_1$ class) in Baire space $\omega^\omega$ is the set $[T]$ of infinite branches through a computable tree $T$. This semester in the computability seminar, we will be studying $\Pi^0_1$ classes from Cenzer \& Remmel's textbook. This week we will start proving an effective version of the perfect set theorem.
MC 5403
Eric Boulter, Department of Pure Mathematics, University of Waterloo
"Co-isotropic foliations in holomorphic symplectic manifolds"
Xiao Zhong, Department of Pure Mathematics, University of Waterloo
"Dynamical Cancellation of Polynomials"
Luca Di Cerbo, University of Florida
"Complex structures on 4-manifolds"
Natasha Dobrinen, University of Notre Dame
"Infinite-dimensional Ramsey theory for binary relational free amalgamation classes"
Jason Lotay, Oxford University
"Minimal Lagrangians and where to find them"
Dan Christensen, Western University
"An introduction to homotopy type theory"
Javier González Anaya, University of California at Riverside
"Blow-ups of weighted projective planes at a point: Exploring the parameter space of triangles and the MDS property"