Simon Fraser University

In this talk I will present the personal journey that the study of mathematics has allowed me to travel so far. It begins with a typical academic career, focused on research in applied mathematics, and specifically the mathematics related to the...

Computers can be programmed to do a variety of tasks which, if a human had done them, we might identify as creative tasks. But does that mean that they themselves are creative? We examine the state of the art in computer-generated poetry, and examine...

A widespread approach for tsunami simulation is to model the ocean with the shallow water equations (SWE). The steady-state ocean floor deformation that results from a seismic event is often used as the initial ocean surface profile for the SWE...

On May 27, 2019, the Electronic Journal of Combinatorics, a diamond-access journal founded by the late Herb Wilf and Neil Calkin, will celebrate its 25th birthday by organizing a satellite conference in conjunction with CanaDAM 2019. There will be...

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

We will disucss some recent advances in the convergence of Anderson acceleration, an extrapolation technique that can be applied to general fixed-point iterations. The theory will be illustrated on some examples of systems arising from finite element...

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

How does representation of a problem affect the complexity of solving it? What is the interplay between the richness of a domain in which a statement is expressed and the complexity of proving that statement? Not only this is a fundamental question...

Could an asteroid that explodes over the ocean generate a tsunami threatening coastal populations far away? We show simulations of tsunami propagation from asteroid-generated airbursts. We then present a 1D model with an explicit solution to better...

Multiplayer games model the behavior of competing agents, and we are interested in the structure that emerges when the number of agents is large. The Dyson and Coulomb games are N-agent dynamic games that admit well studied models of statistical...