Wednesday, September 10, 2025
| Time | Event | (+) |
| 08:30 - 09:00 | Opening - François Fages & Sabine Pérès | |
| 09:00 - 10:00 | Chair: F. Fages, Machine learning session 1 ---- Invited talk: Causal discovery and network inference for biological and biomedical data - Hervé Isambert |
|
| 10:00 - 10:30 | Kolmogorov-Arnold Network for Gene Regulatory Network Inference. - Tsz Pan Tong, Aoran Wang, George Panagopoulos and Jun Pang | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:30 | Chair Loïc Paulevé, Boolean network session I ---- Three-State Gene Expression Model Parameterized for Single-Cell Multi-Omics Data. - Thibaut Peyric, Thomas Lepoutre, Anton Crombach and Thomas Guyet | |
| 11:30 - 12:00 | Computation of immediate neighbours of monotone Boolean functions. - José E.R. Cury, Patrı́cia Roxo, Vasco Manquinho, Claudine Chaouiya and Pedro T. Monteiro. | |
| 12:00 - 12:30 | On Model Reductions of Boolean Networks. - Claudine Chaouiya, Jérôme Feret and Patrı́cia T. Roxo | |
| 12:30 - 13:00 | AEON 2025: Robust Control of Partially-Specified Boolean Networks (tool paper). - Vojtěch Veselý, Eva Šmijáková, Samuel Pastva, Nikola Beneš and David Šafránek | |
| 13:20 - 14:30 | Lunch | |
| 14:30 - 15:00 | Chair Marco Antoniotti, Population model and control session ---- Eukaryotic ancestry in a finite world. - Juliette Luiselli and Manuel Lafond | |
| 15:00 - 15:30 | Minimal metabolic exchanges for microbial communities in a chemostat at steady state. - Alix Moawad and Jörg Stelling | |
| 15:30 - 16:00 | Seed inference in interacting microbial communities using combinatorial optimization. - Chabname Ghassemi Nedjad, Clémence Frioux, Loı̈c Paulevé and Sebastı́an Nelson Mendoza | |
| 16:00 - 16:30 | A model-free control strategy for selective disruption of parkinsonian brain oscillations. - Cédric Join, Jakub Orlowski, Antoine Chaillet, Madeleine Lowery, Hugues Mounier and Michel Fliess | |
| 16:30 - 18:30 | Poster aperitif: 25 posters exposed for discussion in lunch room |
Thursday, September 11, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | Chair Jun Pang, Machine learning session 2 ---- Invited talk: Kernel-based perturbation testing for single-cell data - Franck Picard |
|
| 10:00 - 10:30 | Optimal input design for model selection in systems with cell-to-cell variability. - Andrea Stallvik, Hans-Michael Kaltenbach and Jörg Stelling | |
| 10:30 - 11:00 | Coffee break | |
| 11:00 - 11:30 | Chair Ion Petre, Machine learning session 3 ---- Decoding Gene Regulation in Alzheimer’s disease with Transfer Learning and Explainable Machine Learning. - Sergio Peignier, Amanda Lo Van, Yann Meunier, Elea Pauliat, Matis Zouari and Federica Calevro | |
| 11:30 - 12:00 | Interaction Graphs of Phytoplankton Species Interactions using Logical Learning - Madeleine Eyraud, Maxime Folschette, Katsumi Inoue, Sébastien Lefebvre and Cédric Lhoussaine | |
| 12:00 - 12:30 | Evaluating PDE discovery methods for multiscale modeling of biological signals. - Andréa Ducos, Audrey Denizot, Thomas Guyet and Hugues Berry | |
| 12:30 - 13:00 | Optimizing Feature Extraction Methods using Class Similarity Ratio for EMG-based Hand Gesture Classification. - Felicity Escarzaga, Brian Donnelly and Kyle Winfree | |
| 13:20 - 14:30 | Lunch and posters | |
| 14:30 - 15:30 | Chair Elisabeth Pecou, Invited talk: Reverse Engineering and Optimization of Metabolic Networks - Susana Vinga |
|
| 15:30 - 16:00 | Chair Pedro Monteiro, Boolean network session 2 ---- Continuous Petri Nets Faithfully Fluidify Most Permissive Boolean Networks. - Stefan Haar and Juri Kolčák | |
| 16:00 - 16:30 | Looking for Signs: Reasoning About FOBNNs Using SAT. - Hans-Jörg Schurr and Athénaı̈s Vaginay | |
| 16:30 - 19:00 | Social event - in Lugdunum | |
| 19:00 - 21:00 | Dinner |
Friday, September 12, 2025
| Time | Event | (+) |
| 09:00 - 10:00 | Chair: Sabine Pérès, Invited talk: Predicting metabolic interactions between multiple species from first principles - Jörg Stellling |
|
| 10:00 - 10:30 | 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 - 11:00 | Coffee break | |
| 11:00 - 11:30 | 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 | Chair Linda Brodo, Rule-based models session ---- Reachability Analysis for Parametric Rule-Based Models. - Jerome Feret and Rebecca Ghidini | |
| 12:00 - 12:30 | 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 - 13:00 | A Formal Approach to Identify Structural Patterns in RNA. - Michele Loreti, Michela Quadrini, Matteo Scoccia and Luca Tesei | |
| 13:00 - 13:10 | Closing session | |
| 13:20 - 14:30 | Lunch |
