09:00
10:00
11:00
12:00
13:00
14:00
9:00 - 10:00 (1h)
Chair: Sabine Pérès, Invited talk: Predicting metabolic interactions between multiple species from first principles - Jörg Stellling
https://cmsb2025.sciencesconf.org/data/program/keynote_stelling.pdf 10:00 - 10:30 (30min)
Chair Stefan Haar, Continuous and hybrid models session ---- Efficient stochastic simulation of gene regulatory networks using hybrid models of transcriptional bursting.
Mathilde Gaillard and Ulysse Herbach
›10:30 (30min)
10:30 - 11:00 (30min)
Coffee break
11:00 - 11:30 (30min)
Exploring Metastable Dynamics of Gene Regulatory Networks with ISOKANN.
Maryam Yousefian, Luca Donati, Alexander Sikorski, Marcus Weber and Susanna Röblitz
11:30 - 12:00 (30min)
Chair Linda Brodo, Rule-based models session ---- Reachability Analysis for Parametric Rule-Based Models.
Jerome Feret and Rebecca Ghidini
12:00 - 12:30 (30min)
A rule-based modeling approach for studying animal collectives: a case study of juvenile honeybee thermotaxis.
Matthieu Bouguéon, Tatjana Petrov and Albin Salazar
›12:30 (30min)
12:30 - 13:00 (30min)
A Formal Approach to Identify Structural Patterns in RNA.
Michele Loreti, Michela Quadrini, Matteo Scoccia and Luca Tesei
›13:00 (10min)
13:00 - 13:10 (10min)
Closing session
›13:20 (1h10)
13:20 - 14:30 (1h10)
Lunch
