University of Victoria

Building secure cryptographic implementations is notoriously hard. In this talk, I will outline a general methodology that delivers formal guarantees on assembly-level implementations through a combination of ideas from deductive program verification...

Two lectures from this event are available on mathtube.org. Public Goods, from Biofilms to Societies - Simon Levin, Public Lecture Mathematical ecology: A century of progress, and challenges for the next century - Simon Levin, Plenary Lecture To...

This is a conference in honour of Professor Andrew J. Majda’s 70th birthday. A public lecture on dinosaurs and the theories of mass extinction will be given on July 24th by Gerta Keller. The local organizer of the conference is by Boualem Khouider...

For the past 40 years the demise of the dinosaurs has been attributed to an asteroid impact on Yucatan, a theory that is imaginative, popular and even sexy. From the very beginning, scientists who doubted this theory were threatened into silence or...

ABSTRACT: Optimization and optimal dynamical control are used to investigate the accuracy of analytical estimates for solutions of some basic nonlinear partial differential equations of mathematical hydrodynamics. Even though many mathematical...

Improvements in sequencing technology mean that we have rich data on how infections evolve and spread. In this talk I will describe two settings where this calls for new mathematics. Trees -- in the sense of graphs with no cycles -- are a cornerstone...

New kinds of data are giving rise to exciting new opportunities in public health. The recent revolution in DNA sequencing means that for the first time, we can read the sequences of viruses and bacteria that cause human disease. This allows us to...

New single-cell technologies such as single-cell RNA-seq and high-dimensional flow cytometry enable the unprecedented interrogation of single-cell phenotypes (and functions) under various biological conditions. A common statistical problem is the...

**This event has been rescheduled from January 16 to February 7th** A large part of stochastic portfolio theory, as initiated by Robert Fernholz in the 1990s, is concerned with construction of practical equity portfolios that can beat the stock...

Understanding how environmental randomness affects evolution is of fundamental importance for biology. The presence of temporal or spatial randomness significantly affects the competition dynamics in populations and gives rise to some...