Model Theory of Differential Equations, Algebraic Geometry, and their Applications to Modeling (20w5204)

Organizers

(New York Univeristy)

(University of Michigan)

(University of Waterloo)

(University of California, Berkeley)

Description

The Banff International Research Station will host the "Model Theory of Differential Equations, Algebraic Geometry, and their Applications to Modeling" workshop in Banff from May 31 to June 05, 2020.


The workshop has a focus on both already existing and potential new connections between differential algebra, applied algebraic geometry, model theory, and modeling. Many of the recent fruitful and striking applications of differential algebra, applied algebraic geometry, and model theory became possible as a result of interaction between these fields. Informally speaking, this interaction works as follows. Differential algebra provides a rich variety of techniques to transform analytic problems arising in modeling to algebraic problems. These algebraic problems can then be efficiently solved using methods and algorithms from applied algebraic geometry. Model theory provides a powerful language to describe both differential algebra and algebraic geometry, which has recently given many important and exciting insights into these areas. Moreover, model theory has its own well-developed algorithmic techniques such as quantifier elimination.

The goals of this workshop include bringing together researchers who work with actual modelers and modeling problems and researchers working more on the theoretical side. This will stimulate interactions resulting in the emergence of new and significant improvement in existing applications of differential algebra, applied algebraic geometry, and model theory to modeling.


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