CMSB 2026 - July 24-25, Lisbon, Portugal
24th International Conference on Computational Methods in Systems Biology

Boolean and Qualitative Networks

• Source-Target Control of Boolean Networks with Minimal Edge Perturbations
  Gustavo Magaña-López, Andrzej Mizera, and Jun Pang
• Modulation-Reaction Networks
  Leo Lobski and Yoàv Montacute
• Inference of qualitative models from steady-state data via weighted MaxSMT
  Ondřej Huvar, Nikola Beneš, Martin Jonáš, David Šafránek, and Samuel Pastva
• pyModRev: a Python Tool for Model Revision of Boolean Networks #tool-paper
  Pedro T. Monteiro and Filipe Gouveia

Rule-Based and Stochastic Models

• Statistical model checking for rule-based models in the Kappa language
  Albin Salazar, Jérôme Feret, and Tatjana Petrov
• Efficient Stochastic Trace Generation for Transcription
  Arman Ferdowsi, Matthias Függer, and Thomas Nowak
• Mamdani-Driven Fuzzy Reaction Systems
  Linda Brodo, Moreno Falaschi, Fiamma Romagnoli, and Elisa B.P. Tiezzi
• Incremental Kasa: Static Analysis of Kappa Models at Edit Time #tool-paper
  Rebecca Ghidini and Jérôme Feret

Constraint-Based Modeling and Molecular Computation

• Inferring Minimal Culture Media using Biologically Constrained Combinatorial Optimization
  Moana Aulagner, Samuel Blanquart, and Anne Siegel
• On the Design of an Analog-Dyadic Converter CRN
  Mathieu Hemery
• Analog computation with transcriptional networks
  David Doty, Mina Latifi, and David Soloveichik
• Metabolic Transformation Algorithm: A Systems Biology Approach to Aging and Alzheimer’s Disease
  Bruno Sá, Catarina Gomes, and Miguel Rocha

Causal Inference and Multi-Omics Integration

• Metabolic Flux Inference in a Cheese Microbial Community via comFI: a Biology-informed Approach for Time-resolved Multi-omics Integration
  Sthyve Tatho, Valentina Baldazzi, and Simon Labarthe
• GRNgen: a Generator of Gene Regulatory Networks Fitting Graph and Motif Properties
Alexandre Tan-Lhernould, Thierry Dorval, and François Fages
• Consensus Enhances Individual Causal Models: a Use Case on Lung Cancer Driven by Cellular Pathways
Arnaud Lang, Rodrigo Henrique Ramos, Safaa Al-Ali, Mohammadreza Mousavi, Anna Calissano, and Irene Balelli
• Graph Learning Models for Temporal Gene Expression Prediction and the Role of Interactions Topology
  Alessandro Dipalma, Alessio Micheli, Paolo Milazzo, Francesco Simonetti, and Domenico Tortorella
• Multi-view clustering of transcriptomics and methylomics data elucidates glioma molecular stratification
  Carolina Pé-Curto, Roberta Coletti, and Marta B. Lopes