Program
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 |
|
|
