University of Victoria

The CUMC is an academic conference aimed at undergraduate students studying mathematics or mathematical fields. Presentations will be given on a wide range of topics within the field of mathematics, as well as physics, computer science, biology...

Zombies are a popular figure in pop culture/entertainment and they are usually portrayed as being brought about through an outbreak or epidemic. Consequently, we model a zombie attack, using biological assumptions based on popular zombie movies. We...

Wednesday, March 1st @ 4pm University of Victoria, Hickman Building, room 105 23andMe is a company that pioneered the direct-to-consumer genetics market and recently started offering its technology services as an end-to-end solution to researchers...

Zoonotic diseases are infectious diseases transmitted to humans from vertebrate animals. Many of these diseases originate from a viral pathogen and are associated with spillover from wildlife. Viral pathogens represent a large proportion of emerging...

All talks will be in DTB A102. Schedule Saturday 9:30am Reception, Tea and Coffee. Room TBA 10:30am Liam Watson 11:40am Geoffroy Horel 12:40pm Lunch 2:00pm Tomasz Kacynski 3:10pm Tea / Coffee. Room TBA 3:40pm Keiichi Sakai Saturday night we will have...

A key measure of the maturity and quality of a scientific community is how it judges and values accomplishments and (or versus) scholarship. To address this question, I will describe the motivation or drive for accomplishments and/or scholarship at...

We present a new representation of the Mallows permutations to stable matchings on a random bi-partite graph. We also derive new results for the scaling limits of the cycles in the Mallows permutations in terms of the Ethier-Kurtz diffusion. Joint...

Leslie Hogben is the Dio Lewis Holl Chair in Applied Mathematics and Professor of Mathematics at Iowa State University, and the Associate Director for Diversity of the American Institute of Mathematics. She received her B.A. from Swarthmore College...

Inverse eigenvalue problems appear in various contexts throughout mathematics and engineering, and refer to determining whether or not there is a matrix with a prescribed structure (e.g., tridiagonal) and prescribed spectral property (e.g., having a...

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...