posted by organizer: eziobart80 || 1722 views || tracked by 1 users: [display]

HSB 2014 : Third International Workshop on Hybrid Systems and Biology


When Jul 23, 2014 - Jul 24, 2014
Where Vienna
Submission Deadline Mar 10, 2014
Notification Due May 8, 2014
Final Version Due May 8, 2014
Categories    computational modeling   systems biology   synthetic biology

Call For Papers

Third International Workshop on Hybrid Systems and Biology
(HSB 2014)
Affiliated with CAV 2014 July 23 - 24, 2014, Vienna, Austria


Systems biology aims at providing a system-level understanding of biological systems by
unveiling their structure, dynamics and control methods. Living systems are intrinsically
multi-scale in space, in organization levels and in time; they also exhibit a mixture of
deterministic and stochastic behaviors. It is therefore very difficult to model them in
a uniform way, for instance, by systems of differential equations or by discrete-event systems.
Furthermore, such models are often not easily amenable to formal analysis and their simulations
at the organ or even the cell level are frequently impractical. Indeed, an important open problem
is finding appropriate computational models that scale-up 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 systems biology, and they have been applied to successfully capture the
behavior of several biological complex systems, ranging from genetic regulatory networks,
metabolic reactions, signaling pathways as well as higher level models of tissues and organs.
As the challenges of scale and intrinsic inhomogeneity are coming to the forefront of systems
biology efforts, they highlight
the value of a hybrid dynamical modeling paradigm that integrates mathematical models that
apply at different spatio-temporal scales and subsystems.

In this spirit, the scope of the HSB workshop is the general area of dynamical models in Biology
with an emphasis on hybrid approaches, which are not restricted to a narrow class of mathematical
models, and which take advantage of techniques developed separately in different sub-domains.


Topics of interest include, but are not limited to:

* Hybrid models of metabolic, signaling, and genetic regulatory networks in living cells

* Hybrid models of tissues, organs and physiological models

* Biological applications of analysis techniques from hybrid systems theory
(reachability computation, model checking, abstract interpretation, bifurcation theory,
stability and sensitivity analysis)

* Parametric and non-parametric system identification techniques (learning models
from experimental data)

* Efficient techniques for combined (stochastic/deterministic, spatial/non-spatial)
simulations for biological models

* Hybrid modeling languages for biological systems, analysis and simulation tools

* Models coping with incomplete and uncertain information, stochastic hybrid systems

* Hierarchical hybrid systems for multi scale analysis

* Abstraction, approximation and model-reduction techniques

* Hybrid systems modeling for synthetic biology and control of biological systems

We solicit the submission of unpublished results that address both theoretical and applied aspects
of hybrid modeling techniques in systems biology. Submissions accepted as full papers will be
published by Springer in the LNCS/LNBI series.


* David Harel, The Weizmann Institute of Science, Israel
* Eshel Ben-Jacob, Tel-Aviv University, Israel


Full papers should be no more than 15 pages long, typesetted in the LNCS-style.
Electronic submissions of full-length papers (in PDF format), will be done through
the online submission system:


Submission: March 10, 2014
Notification: May 8, 2014
Final version (LNCS proceedings): October 1, 2014


PC Chairs:

* Ádám Halász, West Virginia University, USA
* Oded Maler, VERIMAG/CNRS, Grenoble, France

Local Organization and Publicity Chair:

* Ezio Bartocci, Vienna University of Technology, Austria

Program Committee:

* Marco Antoniotti, University of Milano Bicocca, Italy
* Ezio Bartocci, Vienna University of Technology, Austria
* Gregory Batt, INRIA Rocquencourt, France
* Luca Bortolussi, Univerity of Trieste, Italy
* Thao Dang, VERIMAG/CNRS, Grenoble, France
* Vincent Danos, CNRS/Université Paris-Diderot, France
* Hidde de Jong, INRIA Grenoble - Rhône-Alpes, France
* Alexandre Donzé, UC Berkley, USA
* François Fages, INRIA Rocquencourt, France
* Eric Fanchon, TIMC-IMAG Laboratory, Grenoble, France
* Hans Geiselmann, University of Grenoble, France
* Radu Grosu, Vienna University of Technology, Austria
* Ádám Halász, West Virginia University, USA - (co-chair)
* Thomas Henzinger, IST, Austria
* Jane Hillston, University of Edinburgh, UK
* Agung Julius, Rensselaer Polytechnic Institute, USA
* Heinz Koeppl, ETH Zurich, Switzerland
* Hillel Kugler, Microsoft Research, UK
* Marta Kwiatkowska, Oxford University, UK
* Pietro Lio, University of Cambridge, UK
* Oded Maler, VERIMAG/CNRS, Grenoble, France - (co-chair)
* Bud Mishra, NYU, USA
* Chris Myers, University of Utah, USA
* Casian Pantea, West Virginia University, USA
* Carla Piazza, University of Udine, Italy
* David Šafránek, Masaryk University, Czech Republic
* Ricardo Sanfelice, University of Arizona, USA
* P.S. Thiagarajan, National University of Singapore, Singapore
* Verena Wolf, Saarland University, Germany

Related Resources

HSB 2019   Hybrid Systems and Biology
SSBSS 2019   6th International Synthetic & Systems Biology Summer School
Journal Special Issue 2019   Machine Learning on Scientific Data and Information
IJCCI 2019   International Joint Conference on Computational Intelligence
NSDI 2020   The 17th USENIX Symposium on Networked Systems Design and Implementation
CRYBLOCK 2019   INFOCOM Workshop - 2nd Workshop on Cryptocurrencies and Blockchains for Distributed Systems (CryBlock 2019)
WTDSI-SBSI 2019   Workshop de Teses e Dissertações em Sistemas de Informação
IJIBM 2019   Call For Papers - International Journal of Information, Business and Management
FGCS-ETDNS 2020   Future Generation Computer Systems SI on Emerging Topics in Defending Networked Systems
EI-APCRAS 2020   2020 Asia-Pacific Conference on Robotics and Autonomous Systems (APCRAS 2020)