6th Austrian Day of Women in Mathematics
from
Thursday, 26 February 2026 (08:40)
to
Friday, 27 February 2026 (22:00)
Monday, 23 February 2026
Tuesday, 24 February 2026
Wednesday, 25 February 2026
Thursday, 26 February 2026
11:00
Arrival & Registration
11:00 - 12:00
Room: Hall of the Department
11:45
Lunch
Lunch
11:45 - 12:45
Room: Hall of the Department
12:45
Welcome Words
12:45 - 13:30
Room: HS11.02
13:30
Invited talk: From Individual Bites to Ecosystem Patterns: Size-Structured Dynamics in Aquatic Food Webs
From Individual Bites to Ecosystem Patterns: Size-Structured Dynamics in Aquatic Food Webs
13:30 - 14:10
Room: HS11.02
14:15
Algebra and Number Theory
14:15 - 15:15
Room: SR 11.32
Contributions
14:15
Factorization in Cluster Algebras: An Algorithmic Approach
-
Mara Pompili
(
University of Graz
)
14:35
Aut-stable subspaces of algebras
-
Zahra Nazemian
(
University of Graz
)
14:55
Untangling Twisted Thue Equations
-
Carina Premstaller
(
Universität Salzburg
)
Analysis
14:15 - 15:15
Room: SR 11.33
Contributions
14:15
First-order homogenization
-
Lorenza D'Elia
(
TU Wien
)
14:35
Almost All Products of Projections Converge
-
Eva Kopecka
(
Universität Innsbruck
)
14:55
Numerical approximation of the Lévy-driven stochastic heat equation on the sphere
-
Verena Schwarz
Mathematical Physics and Geometry
14:15 - 15:15
Room: SR11.05
Contributions
14:15
Singularity theorems in low regularity
-
Inés Vega González
(
Universität Wien
)
14:35
Supersymmetric Null and Timelike Warped $AdS$ and Strings in $D=3$, $N=2$ Gauged Supergravity and Their Uplift to $D=6$
-
Ceren Ayse Deral
(
Bogazici University
)
PDEs
14:15 - 15:15
Room: SR11.06
Contributions
14:15
Multiphase cross-diffusion models for tissue structures: modeling, analysis, numerics
-
Sara Xhahysa
(
TU Wien
)
14:35
Mathematical models and multiharmonic algorithms for contrast-enhanced ultrasound
-
Teresa Rauscher
(
University of Graz
)
14:55
Attractors for a class of Degenerate Parabolic Equations
-
Thuy Le Thi
(
Electric Power University
)
Scientific Computing, Computational Imaging and Applications in Biomedicine
14:15 - 15:15
Room: SR11.34
Contributions
14:15
CFD-Based Risk Assessment in VV-ECMO
-
Beata Ondrusova
(
Johannes Kepler University
)
14:35
Impact of Body Mass Index on Power Distribution in High-Power RF Ablation for Atrial Fibrillation: Insights from Virtual Patients
-
minha anees
(
RICAM
)
14:55
From 2D+t Cine MRI to 3D Ventricular Models: A pipeline for Segmentation, Registration, and Shape Modeling
-
Kathrin Lisa Kapper
(
University Graz, Austria
)
15:15
Coffee break and Poster session
Coffee break and Poster session
15:15 - 16:00
Room: Hall of the Department
Existence, Invariance, and Reduction in a Fast–Slow HPT-Axis-Model
-
Clara Horvath
Existence, Invariance, and Reduction in a Fast–Slow HPT-Axis-Model
Clara Horvath
15:15 - 15:24
Room: HS11.02
Singular perturbed dynamical systems provide a principled way to analyze mathematical models with widely separated times scales, where solutions typically evolve rapidly toward a slow manifold and then drift along it. The hypothalamus–pituitary–thyroid (HPT) axis is a central endocrine control loop that maintains thyroid hormone homeostasis via negative feedback: hypothalamic and pituitary signals regulate thyroid hormone production, while circulating thyroid hormones suppress upstream stimulation. Autoimmune thyroiditis can introduce slower changes in thyroid function and tissue state, motivating a fast–slow modeling perspective in which rapid hormonal regulation interacts with gradual diseasedriven dynamics. Building on earlier fast–slow studies of endocrine feedback, this poster completes the existence theory and provides a fully rigorous singular-perturbation argumentation for an ordinary differential equation model of a negative-feedback loop describing regulation of the hypothalamus–pituitary–thyroid (HPT)-axis under slow autoimmune disease progression. A positively invariant region capturing physiologically meaningful states is first established, and explicit sufficient conditions for local existence and uniqueness of solutions are derived. This results in a well-posed problem and provides the technical foundation required for a justified time-scale separation. Leveraging this groundwork, we then state verifiable criteria that guarantee normal hyperbolicity of the critical manifold and attraction by the fast subsystem, and we apply Tikhonov-Fenichel type arguments to establish convergence of trajectories of the full system to those of the reduced model in the singular limit. In this way, the poster extends earlier analyses by making the assumptions transparent, tightening the logical links between full and reduced dynamics, and delivering a complete and selfcontained justification of the reduction.
15:24
Certifying physics-informed neural networks through lower error bounds
-
Arzu Ahmadova
(
University of Duisburg-Essen
)
Certifying physics-informed neural networks through lower error bounds
Arzu Ahmadova
(
University of Duisburg-Essen
)
15:24 - 15:33
Room: HS11.02
Physics-informed neural networks (PINNs) bring together machine learning and physical laws to solve differential equations. While Hillebrecht and Unger (2022) provide rigorous a posteriori upper bounds for PINN prediction errors, certification requires complementary lower bounds to establish complete error enclosures. In this paper, we derive computable a posteriori lower bounds for PINN errors in ODEs under strong monotonicity conditions. These bounds rely solely on the neural network approximation and the ODE residual, requiring no a priori knowledge of the true solution. This work gives fully certified error bands for nonlinear ODEs and for linear ODEs satisfying structural assumptions, providing robust bounds without needing a lot of training data.
15:33
In-silico comparison between in-vitro experiments and in-vivo application of cardiac radiofrequency ablation
-
Laura Füssel
In-silico comparison between in-vitro experiments and in-vivo application of cardiac radiofrequency ablation
Laura Füssel
15:33 - 15:42
Room: HS11.02
Radiofrequency ablation (RFA) is a minimally invasive treatment for cardiac arrhythmia. Experimental studies play a central role in the investigation of RFA treatment effects. Typically, in-vitro and in-vivo experiments are conducted on animal cardiac tissue. In-vitro experiments consider the cardiac tissue outside the organism, while during in-vivo experiments the tissue remains in its natural state. The difference in the experimental setup leads to a discrepancy in the predicted lesion. Our aim is to assess this discrepancy between the two experimental approaches using in-silico models. A validated computational model for an in-vitro experimental setup is presented in. Building on this model, we derive the mathematical description of the in-vivo experimental setup by adjusting the governing equations to reflect the impact of blood perfusion on the bioheat equation. A comparison between the experiment types is established by simulating a standard power of $30\, \text{W}$ ablation protocol for $30\, \text{s}$. We observed that the volume of the created lesion and the maximum temperature in the cardiac tissue differ significantly according to the simulated experiment type.
15:42
Lie Algebroids as a Natural Extension of Differential Geometry
-
Deniz Ergül
(
Gebze Technical University
)
Lie Algebroids as a Natural Extension of Differential Geometry
Deniz Ergül
(
Gebze Technical University
)
15:42 - 15:51
Room: HS11.02
Lie algebroids provide a unifying framework that extends several classical structures of differential geometry, including tangent bundles, Lie algebras of vector fields, and foliations. The aim of this contribution is to present Lie algebroids from an introductory and conceptually transparent perspective, emphasizing how they arise naturally from familiar geometric objects. We begin by reviewing the necessary background material, such as vector bundles, sections, tangent and cotangent bundles, bundle maps, and pullbacks. We also recall basic operations on differential forms, including the exterior derivative, interior product, and Lie derivative, which play a fundamental role in the formulation of Lie algebroid structures. After introducing the definition of a Lie algebroid, we discuss its two main components: the anchor map and the Lie bracket on sections. We explain how these structures generalize the classical Lie bracket of vector fields and clarify the geometric meaning of the anchor map. Different types of Lie algebroids are briefly discussed through the properties of the anchor. As a concrete example, we construct a Lie algebroid structure on the derivation bundle of a vector bundle. This example illustrates how Lie algebroids naturally emerge from standard differential-geometric constructions and highlights their role as a natural extension of classical geometry.
15:51
Algebraic Codes from Cubic Surfaces in PG(3,13)
-
Sude Tatar
(
Gebze Technical Universtiy
)
Algebraic Codes from Cubic Surfaces in PG(3,13)
Sude Tatar
(
Gebze Technical Universtiy
)
15:51 - 16:00
Room: HS11.02
Algebraic geometry codes have gained significant attention due to their strong structural properties. In this study, we investigate the construction of linear codes from cubic surfaces in the projective space $PG(3, 13)$. A smooth cubic surface over a finite field is known to contain exactly 27 lines. The configuration of these lines and their intersection points, specifically the Eckardt points, determines the isomorphism class of the surface.We focus on the classification of these surfaces over the finite field $GF(13)$. Using the computational algebra software Orbiter, we analyze surfaces with varying numbers of Eckardt points (specifically classes with 4, 6, 10, and 18 points). We employ the Clebsch map to relate the geometry of 6 points in the projective plane $P^2$ to the cubic surface in $P^3$.The main objective of this work is to construct linear codes by utilizing the incidence matrices of lines and points on these surfaces. We explore the potential of these geometric structures to generate Locally Recoverable Codes (LRC) and analyze their parameters $[n, k, d]$. Furthermore, we investigate whether these constructions yield Maximum Distance Separable (MDS) codes by checking the Singleton bound $d \le n - k + 1$. This research aims to bridge classical algebraic geometry with modern coding theory applications.
16:00
Public Lecture: Does gender always exist? And if so, how many?
Does gender always exist? And if so, how many?
16:00 - 17:30
Room: HS11.02
18:30
Social Dinner
Social Dinner
18:30 - 21:30
Friday, 27 February 2026
08:45
Invited talk: The boundaries of mathematics: infinite games and very large sets
The boundaries of mathematics: infinite games and very large sets
08:45 - 09:25
Room: HS11.02
09:30
Applied Algebra and Number Theory
09:30 - 10:30
Room: SR 11.32
Contributions
09:30
Sylvester forms for pose estimation
-
Jana Vráblíková
(
Inria Centre at Université Côte d'Azur, Johannes Kepler University Linz
)
09:50
Escape of Mass of Sequences
-
Noy Soffer Aranov
(
TU Graz
)
10:10
On homomorphic encryption using abelian groups
-
Vishnupriya Anupindi
(
University of Cantabria, Spain
)
Geometric Analysis and Geometric Topology
09:30 - 10:30
Room: SR 11.05
Contributions
09:30
Curvature in nonsmooth spacetimes
-
Marta Sálamo Candal
(
University of Vienna
)
09:50
Real Algebraic Overtwisted Contact Structures on 3-Spheres
-
Şeyma Karadereli
(
Bogazici University
)
PDEs
09:30 - 10:30
Room: SR11.06
Contributions
09:30
Mean field limit of assymetric Cucker-Smale model
-
Tamari Kldiashvili
(
University of Graz
)
09:50
Analysis of DAEs and PDEs in the form of abstract differential-algebraic equations with a higher-index regular pencil
-
Mariia Filipkovska
(
B. Verkin Institute for Low Temperature Physics and Engineering of the National Academy of Sciences of Ukraine
)
10:10
Well-Posedness for the Generalized Camassa-Holm Equations
-
Nesibe Ayhan
Probability and Statistics
09:30 - 10:30
Room: SR11.33
Contributions
09:30
Approximate Bayesian computation for stochastic hybrid systems with ergodic behaviour
-
Agnes Mallinger
(
Johannes Kepler University
)
09:50
Global contraction of second-order Langevin dynamics and applications
-
Katharina Schuh
10:10
First-passage time for PDifMPs: an Exact simulation approach for time-varying thresholds
-
Amira Meddah
(
Johannes Kepler University, Linz, Austria
)
Stochastic Analysis and Topological Asymptotic Analysis
09:30 - 10:10
Room: SR11.34
Contributions
09:30
Finite dimensional stochastic filtering and smoothing
-
Eva Flonner
(
Vienna University of Economics and Business / UNIQA Insurance Group
)
09:50
Vertex characterization via second-order topological derivatives
-
Bochra Mejri
(
RICAM
)
10:10
Didactic
10:10 - 10:30
Room: SR 11.34
Contributions
10:10
#HeyMathGirl! – An intervention to promote female students’ mathematical self-concept and belonging
-
Lara Gildehaus
10:30
Coffee break
Coffee break
10:30 - 11:00
Room: Hall of the Department
11:00
Supervision in Focus: "From experience to Good Practice"
11:00 - 12:30
Room: HS 11.02, SR 11.34
12:30
Conclusion words
Conclusion words
12:30 - 13:00
Room: HS11.02
13:00
Farewell Lunch
Farewell Lunch
13:00 - 15:00
Room: Hall of the Department