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 Third Workshop on Membrane Computing and Biologically Inspired Process Calculi 2009

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

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 First Workshop on Applications of Membrane computing, Concurrency and Agent-based modelling in POPulation biology

Spatial Dynamic Structures and Mobility in Computation

Proceedings Fourth International Workshop on Computational Models for Cell Processes

Biological Membranes: Structure, Biogenesis and Dynamics

Real-life Applications with Membrane Computing

Proceedings Third Workshop From Biology To Concurrency and back

Proceedings Second International Workshop on Computational Models for Cell Processes

Proceedings Wivace 2013 - Italian Workshop on Artificial Life and Evolutionary Computation

Proceedings Second International Workshop on Hybrid Systems and Biology

Modelling of Multi-Agent Systems: Experiences with Membrane Computing and Future Challenges

Mem3DG: Modeling Membrane Mechanochemical Dynamics in 3D using Discrete Differential Geometry

BIOMICS: a Theory of Interaction Computing

The 2018 biomembrane curvature and remodeling roadmap

2010 IEEE International Conference on Bioinformatics and Biomedicine Workshops

Computational studies of biomembrane systems: Theoretical considerations, simulation models, and applications

Simulation challenges in membrane computing

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