Model Theory of Differential Equations, Algebraic Geometry, and their Applications to Modeling
algebraic geometry
Banff International Research Station
| Audience: | Researchers in the topic |
| Seminar series times: | No fixed schedule |
| Curator: | BIRS Programme Coordinator* |
| *contact for this listing |
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.