Past Events

Solvers for the Boolean satisfiability problem have been increasingly used to solve hard problems from many fields and now routinely solve problems with millions of variables. Combinatorial problems are a natural target, as SAT solvers contain...

Let K be a field, let t : K à K be an automorphism of order 1 or 2. Let F denote the subfield of t-invariant elements in K. Then either K=F or K/F is a quadratic Galois extension. Given a central simple K-algebra A, a t-involution of A is an anti...

These are algebraic surfaces with the Betti numbers of the complex projective plane, and are called $Q$-homology projective planes. We describe recent progress in the study of such surfaces including smooth examples, the fake projective planes. We...

We investigates the globally stabilizing effects of the geometry of the domain and the solution in studying the regularity issue on the three-dimensional incompressible Navier-Stokes and Euler system. We establish the global existence and uniqueness...

The four-week industry fellowships, which are being run in partnership with Cybera, bring together six companies wanting to leverage data science, and 22 newly trained data scientists in Edmonton and Calgary. The companies have presented a challenge...

Consider the Monge-Kantorovich problem of transporting densities $\rho_0$ to $\rho_1$ on $\rr^d$ with a strictly convex cost function. A popular relaxation of the problem is the one-parameter family called the entropic cost problem. The entropic cost...

Speakers: (1) Zheng Hua, University of Hong Kong (2:30-3:30) Title: Noncommutative differential calculus and Calabi-Yau geometry Quivers with potential appear naturally in the study of the deformation theory of objects in 3D Calabi-Yau categories...

Vertex operator algebras (VOAs) as discussed in this talk are graded complex vector spaces with a collection of many bilinear operations satisfying some intricate identities. They first arose in mathematics and physics via the study of string theory...

Given two (di)graphs $G$, $H$ and a cost function $c:V(G)\times V(H) \to \mathbb{Q}_{\geq 0}\cup\{+\infty\}$, in the minimum cost homomorphism problem, MinHOM($H$), we are interested in finding a homomorphism $f:V(G)\to V(H)$ (a.k.a $H$-coloring)...

The classifying space of the nth projective unitary group, BPUn, is a fundamental mathematical object. However, unlike its close cousins BUn, BSUn, etc., surprisingly little has been known to its cohomology. I will briefly introduce the roles of BPUn...