Past Events

In this talk I will introduce a new semi-algebraic proof system, called Stabbing Planes that is in the style of DPLL-based modern SAT solvers. Stabbing Planes proofs extend the DPLL branching from single variables to branching on arbitrary linear...

We describe a theorem due to Jianya Liu and Yangbo Ye (Pure and Applied Mathematics Quarterly, Volume 3, Number 2, 481-497, 2007) concerning the prime number theorem for automorphic L-functions. We state the theorem and review the strategy of the...

The PPSZ algorithm, due to Paturi, Pudlak, Saks and Zane, is currently the fastest known algorithm for the k-SAT problem, for every k>3. For 3-SAT, a tiny improvement over PPSZ was obtained by Hertli. We introduce a biased version of the PPSZ...

The purpose of the workshop is to bring together CS Theory researchers (faculty, postdocs, graduate and senior undergraduate students) from PIMS universities (UBC, SFU, U Vic, UWashington) as well as some top researchers from North America and Europe...

This meeting serves many purposes. It allows faculty and graduate students working in probability and statistics at different universities in Alberta to interact, make contacts, and discuss their research. It serves as a training vehicle for highly...

Peritrichously flagellated bacteria such as E. coli swim in a fluid environment by rotating motors embedded in the cell membrane and consequently rotating multiple helical flagella. We present a mathematical model of a microswimmer that can freely...

In its most well-known form, the Loewner equation gives a correspondence between curves in the upper half-plane and continuous real functions (called the “driving function” for the equation). We consider the generalized Loewner equation, where the...

N/A

The concept of Hopf algebras originated from the theory of algebraic groups and algebraic topology in the mid 20th century. Hopf structures have numerous applications in many other mathematical branches, and now it is a familiar concept in...

The possibility that a discrete process can be fruitfully approximated by a continuous one, with the latter involving a differential system, is fascinating. Important theoretical insights, as well as significant computational efficiency gains may lie...