HSB 2019 - 6th International Workshop on Hybrid Systems and Biology (HSB 2019)
Topics/Call fo Papers
The workshop centres on dynamical models in biology, with an emphasis on both hybrid systems (in the classical sense, i.e., mixed continuous/discrete/stochastic systems) and hybrid approaches that combine modelling, analysis, algorithmic and experimental techniques from different areas.
Hybrid systems and approaches are essential to the understanding of complex living systems, which are characterized by stochasticity and heterogeneous (continuous and discrete) spatiotemporal scales. These methods are crucial also for the design and analysis of artificial biochemical systems (e.g., engineered bacteria or molecular machines) and of medical cyber-physical systems such as pacemakers and infusion pumps. The complexity of such models makes their formal analysis challenging, and even their simulations are frequently impractical, calling for appropriate model abstractions and scalable analysis methods.
HSB aims at bringing together researchers from different disciplines interested in applying these methods to the study of structure, dynamics, and control mechanisms of living systems.
Organizers: Milan Ceska, Nicola Paoletti
Hybrid systems and approaches are essential to the understanding of complex living systems, which are characterized by stochasticity and heterogeneous (continuous and discrete) spatiotemporal scales. These methods are crucial also for the design and analysis of artificial biochemical systems (e.g., engineered bacteria or molecular machines) and of medical cyber-physical systems such as pacemakers and infusion pumps. The complexity of such models makes their formal analysis challenging, and even their simulations are frequently impractical, calling for appropriate model abstractions and scalable analysis methods.
HSB aims at bringing together researchers from different disciplines interested in applying these methods to the study of structure, dynamics, and control mechanisms of living systems.
Organizers: Milan Ceska, Nicola Paoletti
Other CFPs
- Interactive Workshop on the Industrial Application of Verification and Testing (InterAVT 2019)
- 3rd Workshop on Learning in Verification (LiVe 2019)
- 2nd International Workshop on Methods and Tools for Rigorous System Design (MeTRiD 2019)
- 3rd International Workshop on Program Equivalence and Relational Reasoning (PERR 2019)
- 11th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2019)
Last modified: 2018-12-29 20:58:32