HMSB 2011 - Call For Paper
Call for papers
The goal of systems biology is to provide a system-level understanding of biological systems by unveiling their structure, dynamics and control methods. The intrinsic multi-scale nature of these systems, both in space, in organization levels, and in time, makes extremely difficult to model all of 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 simulation at the organ or even the cell level is frequently impractical. Indeed, an important open problem is finding appropriate computational models that scale well for both the simulation and formal analysis of biological processes. Hybrid modeling techniques, combining discrete and continuous processes, are gaining more and more attention in systems biology, and they have been applied to successfully capture the behavior of several biological complex systems, ranging from genetic networks, biochemical reactions, signaling pathways and cardiac tissues electrophysiology.
This workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments.
We solicit the submission of unpublished results that address on both theoretical and applied aspects of hybrid modeling techniques in systems biology. The proceedings will be a volume of the open-access journal Electronic Proceedings in Theoretical Computer Science. A special issue in a journal will be considered at the end of the workshop.
Topics of interest include, but are not limited to:
The goal of systems biology is to provide a system-level understanding of biological systems by unveiling their structure, dynamics and control methods. The intrinsic multi-scale nature of these systems, both in space, in organization levels, and in time, makes extremely difficult to model all of 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 simulation at the organ or even the cell level is frequently impractical. Indeed, an important open problem is finding appropriate computational models that scale well for both the simulation and formal analysis of biological processes. Hybrid modeling techniques, combining discrete and continuous processes, are gaining more and more attention in systems biology, and they have been applied to successfully capture the behavior of several biological complex systems, ranging from genetic networks, biochemical reactions, signaling pathways and cardiac tissues electrophysiology.
This workshop aims at collecting scientists working in the area of hybrid modeling applied to systems biology, in order to discuss about current achieved goals, current challenges and future possible developments.
We solicit the submission of unpublished results that address on both theoretical and applied aspects of hybrid modeling techniques in systems biology. The proceedings will be a volume of the open-access journal Electronic Proceedings in Theoretical Computer Science. A special issue in a journal will be considered at the end of the workshop.
Topics of interest include, but are not limited to:
- Hybrid models of biological systems (case studies of genetic, cellular networks, models of tissues, etc.)
- Computational and mathematical analysis techniques for hybrid systems (i.e. reachability, model checking, abstract interpretation, bifurcation theory for hybrid dynamical systems, etc.), with applications in Systems Biology.
- Hybrid system identification techniques (learning the model from the experimental data)
- Efficient simulation techniques for hybrid systems.
- Hybrid modeling languages for biological systems.
- Hybrid systems coping with incomplete and uncertain information.
- Sensitivity analysis for hybrid systems.
- Behaviour-driven parameters identification for hybrid systems.
- Analysis and simulation tools.
We solicit the submission of unpublished results that address on both theoretical and applied aspects of hybrid modeling techniques in systems biology. The proceedings will be published in the IEEE BIBM 2011 workshop proceedings volume. A special issue in a journal will be considered at the end of the workshop.
Paper submission
Please submit a full-length paper (8 page IEEE 2-column format) through the online submission system (you can download the format instruction for Latex or Word here). Electronic submissions (in PDF or Postscript format) are required. Selected participants will be asked to submit their revised papers in a format to be specified at the time of acceptance.
- Radu Grosu, University of Stony Brook, USA
- Ezio Bartocci, University of Stony Brook, USA
- Luca Bortolussi, Univerity of Trieste, Italy
- Marco Antoniotti, University of Milano Bicocca
- Gregory Batt, INRIA Toulose, France
- Alberto Casagrande, University of Trieste, Italy
- Edmund Clarke, Carnegie Mellon, USA
- Thao Dang, VERIMAG Lab, Grenoble, France
- Alexandre Donzé, VERIMAG Lab, Grenoble, France
- Jasmin Fisher, Microsoft Research, Cambridge, UK
- Vashti Galpin, University of Edinburgh, UK
- Colas Le Guernic, NYU, USA
- Oded Maler, VERIMAG Lab, Grenoble, France
- Bud Mishra, NYU, USA
- Carla Piazza, University of Udine, Italy
- Scott Smolka, University of Stony Brook, USA
- Gouhei Tanaka, University of Tokyo, Japan
- Verena Wolf, Saarland University, Germany
- Paolo Zuliani, Carnegie Mellon, USA
