22.07.2026 13:00 Steve Bennoun (UCLA): Contextualizing First-Year Mathematics for Life Science Students Through Modeling and Dynamical Systems
Over the past several decades, the importance of mathematics in life science research has been growing, prompting high-profile calls to reform the mathematics education of biology researchers. These reports advocate for contexutalizedmathematics courses that focus concepts actually used in life science research. In this talk, I will present how UCLA has developed a course centered on modeling and dynamical systems to directly address this need. By taking a modeling-first approach, the course uses important examples from biology as the primary motivation to study mathematics. Students first learn to write models of biological systems such as epidemiological models, predator-prey models, and cellular protein production. Taking a geometrical approach, students learn to determine the long-term behaviors of systems using phase plane trajectories and stability of equilibrium points. This naturally leads to the idea of qualitative change, or bifurcation, enabling students to study important medical phenomena such as the abnormal breathing pattern called Cheyne-Stokes respiration. The second part of the course takes a more analytical approach culminating with the Hartman-Grobman theorem (or principle of linearization). I will conclude by discussing the adoption of this course by other universities. This work is supported by the NSF grant DUE-2225258.
Quelle
22.07.2026 14:15 Jianyu HU (NTU Singapore): Learning from Structured Data with Structure-Preserving Kernels
Many data-generating processes arising in physics and engineering possess intrinsic geometric structures, such as symmetries, conservation laws, variational principles, and differential equation constraints. Incorporating these structures into machine learning models is crucial for achieving physically meaningful and reliable predictions.
In this talk, I will introduce a structure-preserving kernel-based learning framework for recovering unknown functions while respecting the underlying geometric properties of the problem. The proposed method admits a closed-form solution, achieves strong numerical performance, and often outperforms existing approaches. In the manifold setting, the learned solution is globally defined and independent of the choice of local coordinates. I will also present theoretical guarantees, including convergence results under both fixed and adaptive regularization schemes, and discuss applications to structured learning problems arising in scientific computing.
Quelle
23.07.2026 14:00 Leonard Henckel (University College Dublin, IRL): Embracing Discrete Search: A Reasonable Approach to Causal Structure Learning
We present FLOP (Fast Learning of Order and Parents), a score-based causal discovery algorithm for linear models. It pairs fast parent selection with iterative Cholesky-based score updates, cutting run-times over prior algorithms. This makes it feasible to fully embrace discrete search, enabling iterated local search with principled order initialization to find graphs with scores at or close to the global optimum. The resulting structures are highly accurate across benchmarks, with near-perfect recovery in standard settings. This performance calls for revisiting discrete search over graphs as a reasonable approach to causal discovery.
Quelle
23.07.2026 16:30 Kotaro Komatsu (University of Tsukuba): Introducing students to explorative aspects of proving in mathematical activity
Proving is a fundamental activity in mathematics, and its teaching has been widely discussed in mathematics education research. A central theme in this body of research concerns the transition from making or evaluating a conjecture to proving it, with proof construction often viewed as the ultimate goal of mathematical activity. However, proving also involves ongoing processes that extend beyond proof construction, including the revision and generalisation of proved statements. In this talk, I discuss these relatively understudied, explorative aspects of proving through two illustrative cases: one relates to Lakatos-style mathematical activity involving proofs and refutations in a secondary school context, and the other focuses on proof by mathematical induction at the undergraduate level. I also discuss implications for task design aimed at introducing explorative proving to students.
____________________
Invited by Prof. Stefan Ufer
Quelle
27.07.2026 15:00 Esmée Theewis: Large deviation principles for stochastic evolution equations
In this talk, I will discuss new results on large deviations for stochastic evolution equations. Starting with the variational setting, I will present a large deviation principle (LDP) for a class of SPDEs that includes many new examples with gradient noise and unbounded spatial domains. We will then move to non-variational settings and explore LDPs for the stochastic 3D primitive equations and reaction-diffusion equations. While our method is based on the well-known weak convergence approach, main novel ingredients come from the theory of critical spaces and maximal regularity techniques. Based on joint work with Antonio Agresti and Mark Veraar.
Quelle