Reaction Systems - an update (by invitation only)

University of Turku, Finland Ion Petre is Professor of Mathematics in Complex Systems at University of Turku. His current research interests include reaction systems, network modeling, and computational systems biology. He is interested in fundamental research at the intersection of computer science, biology, and artificial intelligence. He is an author of over 140 peer-reviewed scientific publications, and an invited speaker at many international conferences.

University of Sassari, Italy Linda Brodo is an Associate Professor in Computer Science at the University of Sassari. Her interests are mainly in the area of formal methods, for modelling and analyzing complex systems. Her studies include the theory of abstract parallel programming languages for describing and verifying distributed systems using theoretical tools such as process algebras, and rewriting systems. The formal rigor and expressiveness of such theoretical tools enable the treatment of systems in a wide range of applications. She is the author of more than 16 papers in international journals and has presented more than 45 paper

University of Pisa, Italy Roberta Gori is an Associate Professor of Computer Science at the University of Pisa, specializing in the modeling, simulation, and verification of biological systems. Her research focuses on formal methods, particularly static analysis and program/model verification through abstract interpretation. Combining mathematical rigor with innovative approaches, she addresses complex challenges in interdisciplinary domains. She has published more than 25 articles in international journals and presented over 45 papers at leading conferences, significantly contributing to advancements in these fields.

University of Pisa, Italy Paolo Milazzo is an Associate Professor in Computer Science at the University of Pisa. His research focuses on computational models of complex systems, bioinformatics and formal methods, with a particular interest in the development and application of computational analysis techniques in the context of systems biology. He has authored more than 130 publications in top-tier journals and conferences and contributed to the organization of several international conferences.