Program

09:00-10:50 CMSB - Session 9: Reaction Systems and Systems Biology (chair: Loïc Paulevé)Joint Session with Workshop RS

9:00	Ion Petre Tutorial on Reaction Systems. A set-theoretical modeling framework based on facilitation, inhibition, and interaction with the environment WRS INVITED TUTORIAL
10:00	Juliana Bowles, Linda Brodo, Roberto Bruni, Moreno Falaschi, Roberta Gori and Paolo Milazzo Enhancing Reaction Systems with Guards for Analysing Comorbidity Treatment Strategies REGULAR PROCEEDINGS PAPER
10:25	Demis Ballis, Linda Brodo, Moreno Falaschi and Carlos Olarte Process Calculi and Rewriting Techniques for Analyzing Reaction Systems REGULAR PROCEEDINGS PAPER

10:50-11:20 COFFEE BREAK

11:20-13:10 CMSB - Session 10: Applications 2 (chair: Mirco Tribastone)

11:20	Svetlana Shabalina and Alexey Spiridonov Deciphering Structural Selective Constraints: A Comparative Evolutionary Analysis of RNA Hairpin Structures REGULAR PROCEEDINGS PAPER
11:45	Elen Goujon, Olivier Armant, Clément Car, Jean-Marc Bonzom, Arthur Tenenhaus and Imène Garali Batch effect correction in a confounded scenario: a case study of gene expression in Chornobyl tree frogs REGULAR PROCEEDINGS PAPER
12:10	Lorenzo Sala, Marie Haghebaert, Béatrice Laroche, Stanislas Mondot and Joël Doré First steps towards a gut digital twin: mechanistic modelling of host–microbiota interactions to explore symbiotic resilience HIGHLIGHT TALK
12:25	Andrea Vandin REDUCTO: A novel approach to the reduction of Boolean Networks HIGHLIGHT TALK
12:40	Andreas Lösch, Yanren Linda Hu, Kevin Rupp, Chenxi Nie, Rudolf Schill, Maren Klever, Simon Pfahler, Lars Grasedyck, Tilo Wettig, Niko Beerenwinkel and Rainer Spang A branching monotonic accumulation model applicable to modeling metastatic progression HIGHLIGHT TALK
12:55	Lucas Jansen Klomp, Ricco Zeegelaar, Janine Post and Hil Meijer Multi-scale modelling of iPSC differentiation towards chondrocytes HIGHLIGHT TALK
13:10	CLOSURE

11:20-13:15 Workshop RS - Session 1 (chair: Moreno Falaschi)

11:20	WORKSHOP OPENING
11:30	Paolo Bottoni and Tiziana Castrignanò and Anna Labella Reaction Systems with Self Distinction: Simulations, Transformations, and Applications WRS TALK
11:55	Luca Manzoni Fuzzy Reaction Systems WRS TALK
12:20	Enrico Formenti A topology for P systems with active membranes WRS TALK
12:45	Mariusz Kaniecki On categorical approach to reaction systems WRS TALK

13:10-14:15 LUNCH

14:15-16:05 Workshop RS - Session 2 (chair: Paolo Bottoni)

14:15	Maciej Koutny Mining Reactions in Reaction Systems with Discrete Concentrations WRS INVITED TALK
15:15	Łukasz Mikulski Modelling with Distributed Reaction Systems WRS TALK
15:40	Erzsébet Csuhaj-Varjú Languages of networks of Reaction Systems WRS TALK

16:05-16:30 COFFEE BREAK

16:30-18:30 Workshop RS - Session 3 (chair: Ion Petre)

16:30	Daniela Genova Reaction Systems Structure and Transformations WRS TALK
16:55	Linda Brodo and Roberto Bruni and Moreno Falaschi and Roberta Gori and Paolo Milazzo Attractor and Slicing Analysis of Gene Regulatory Networks with Positive Reaction Systems WRS TALK
17:20	Roberto Bruni and Arend Rensink Experimenting with Reaction Systems using Graph Transformation WRS TALK
17:45	WORKSHOP MEETING
18:30	WORKSHOP CLOSURE