VSL 2014: VIENNA SUMMER OF LOGIC 2014
HSB Call for Papers

HSB'14 – 3rd International Workshop on Hybrid Systems and Biology
July 23-24, 2014 · Vienna, Austria

http://hsb2014.imag.fr

Call for Papers in pdf

 

 

Important Dates

Paper submission deadline March 10, 2014
Author Notification May 8, 2014
Camera-ready versions for the proceedings October 1, 2014
   

Aims and Scope

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 homogeneous framework, 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. They have been applied to successfully capture the behavior of several biological complex systems, including 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 address distinct 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 onhybrid approaches, which are not restricted to a narrow class of mathematical models, and which take advantage of techniques developed separately in different sub-fields. 

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; 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 theoretical and/or applied aspects of hybrid modeling techniques in systems biology. Submissions accepted as full papers will be published in the Springer LNCS/LNBI series.

 

Paper Submission

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.

 

Location

HSB 2014 will be a two-day satellite workshop of CAV 2014, Conference on Computer-aided Verification, the 26th International which is part of the Vienna Summer of Logic.

 

Invited Speakers

Program co-Chairs

Local Organization and Publicity Chair

Program Committee

Steering Committee