Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics (14w5098)


(Université Laval)

(Rutgers University)

(Hamburg University of Technology)

(Vrije Universiteit Amsterdam)

JF Williams (Simon Fraser University)


The Banff International Research Station will host the "Rigorously Verified Computing for Infinite Dimensional Nonlinear Dynamics (HALF)" workshop from September 21st to September 26th, 2014.

Nonlinear dynamics shape the world around us, from the complicated
biochemistry in the living cell, via the swirling motions in fluid flows, to
the spiraling waves in contracting heart muscles. Mathematically these
phenomena are described by partial differential equations and dynamical
systems in infinite dimensions. This workshop focuses on tightly integrating
abstract mathematics with computer simulations to improve our fundamental
understanding of the complex nonlinear phenomena displayed by these
mathematical models.

The Banff International Research Station for Mathematical Innovation and Discovery (BIRS) is a collaborative Canada-US-Mexico venture that provides an environment for creative interaction as well as the exchange of ideas, knowledge, and methods within the Mathematical Sciences, with related disciplines and with industry. The research station is located at The Banff Centre in Alberta and is supported by Canada's Natural Science and Engineering Research Council (NSERC), the U.S. National Science Foundation (NSF), Alberta's Advanced Education and Technology, and Mexico's Consejo Nacional de Ciencia y Tecnología (CONACYT).