Model Theory of Differential Equations, Algebraic Geometry, and their Applications to Modeling (Online)
Videos from BIRS Workshop
David Marker, University of Illinois at Chicago
Monday Jun 1, 2020 09:00 - 10:00
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 1
Elisenda Feliu, University of Copenhagen
Monday Jun 1, 2020 10:00 - 10:58
Tutorial: Challenges in the study of algebraic models of biochemical reaction networks
Patrick Speissegger, McMaster University
Tuesday Jun 2, 2020 09:00 - 09:35
Limit cycles of planar vector fields, Hilbert’s 16th problem and o-minimality
Polly Yu, University of Wisconsin-Madison
Tuesday Jun 2, 2020 09:40 - 10:17
Mass-action systems: From linear to non-linear inequalities
Nidhi Kaihnsa, University of Copenhagen
Tuesday Jun 2, 2020 10:20 - 10:56
Convex Hulls of Trajectories
Gleb Pogudin, École Polytechnique
Wednesday Jun 3, 2020 09:01 - 09:59
Structural parameter identifiability with a view towards model theory
David Marker, University of Illinois at Chicago
Wednesday Jun 3, 2020 10:01 - 10:56
Tutorial: Model Theory, Quantifier Elimination and Differential Algebra - 2
Alejandro F. Villaverde, Consejo Superior de Investigaciones Científicas (CSIC)
Thursday Jun 4, 2020 09:01 - 09:37
Finding and breaking Lie symmetries: implications for structural identifiability and observability of dynamic models
Remi Jaoui, University of Notre Dame
Thursday Jun 4, 2020 09:40 - 10:16
A model-theoretic analysis of geodesic equations in negative curvature
Yue Ren, Swansea University
Thursday Jun 4, 2020 10:20 - 11:00
Introduction to tropical algebraic geometry
Joel Nagloo, University of Illinois at Chicago
Friday Jun 5, 2020 09:02 - 09:36
Irreducibility and generic ODEs
Miruna-Stefana Sorea, Lucian Blaga University of Sibiu, Romania
Friday Jun 5, 2020 09:40 - 10:19
Disguised toric dynamical systems
Reinhard Laubenbacher, University of Florida
Friday Jun 5, 2020 10:36 - 10:56
Ask not what algebra can do for biology - ask what biology can do for algebra