Abstract:This volume contains the proceedings of the Second International Workshop Hybrid Systems and Biology (HSB 2013) held in Taormina (Italy), on September 2th, 2013. The workshop is affiliated to the 12th European Conference on Artificial Life (ECAL 2013). Systems biology aims at providing a system-level understanding of biological systems by unveiling their structure, dynamics and control methods. Due to the intrinsic multi-scale nature of these systems in space, in organization levels and in time, it is extremely difficult to model them in a uniform way, e.g., by means of differential equations or discrete stochastic processes. Furthermore, such models are often not easily amenable to formal analysis, and their simulations at the organ or even at the cell levels are frequently impractical. Indeed, an important open problem is finding appropriate computational models that scale well for both simulation and formal analysis of biological processes. Hybrid modeling techniques, combining discrete and continuous processes, are gaining more and more attention in such a context, and they have been successfully applied to capture the behavior of many biological complex systems, ranging from genetic networks, biochemical reactions, signaling pathways, cardiac tissues electro-physiology, and tumor genesis. This workshop aims at bringing together researchers in computer science, mathematics, and life sciences, interested in the opportunities and the challenges of hybrid modeling applied to systems biology. The workshop programme included the keynote presentation of Alessandro Astolfi (Imperial College of London, UK) on Immune response enhancement via hybrid control. Furthermore, 8 papers were selected out of 13 submissions by the Program Committee of HSB 2013. The papers in this volume address the hybrid modeling of a number important biological processes (iron homeostasis network, mammalian cell cycle, vascular endothelial growth factor (VEGF), genetic regulatory network in mammalian sclera) and, the formalisms and techniques for specifying and validating properties of biological systems (such as, robustness, oscillations).

Proceedings 6th Workshop on Membrane Computing and Biologically Inspired Process Calculi

Proceedings of the 5th Workshop on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC 2011)

Proceedings Fourth Workshop on Membrane Computing and Biologically Inspired Process Calculi 2010

Proceedings Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009

Proceedings First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology

2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops

Proceedings Fourth International Workshop on Computational Models for Cell Processes

Proceedings Third Workshop From Biology To Concurrency and back

Spatial Dynamic Structures and Mobility in Computation

Real-life Applications with Membrane Computing

Proceedings Machines, Computations and Universality 2013

Proceedings First International Workshop on Hybrid Systems and Biology

Proceedings 6th Interaction and Concurrency Experience

Proceedings 11th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science

Proceedings of the 2nd ACM Conference on Bioinformatics, Computational Biology and Biomedicine

Proceedings of the 2012 International Conference on Information Technology and Software Engineering: Information Technology & Computing Intelligence

Biological Membranes: Structure, Biogenesis and Dynamics

Proceedings Second International Workshop on Hybrid Systems and Biology

BIOMICS: a Theory of Interaction Computing

Proceedings Second Workshop on Developments in Implicit Computational Complexity

Innovations in computational biology: RECOMB 2024 Special Issue