Registration fees for a two-days workshop are 200 Euro (regular, by May 20) 240 Euro (late, by June 30, 2014) and 260 Euro (on site).
One can register to the HSB Workshop without registering to the CAV conference. A person registered to HSB can attend any
parallel Vienna Summer Logic event on the same day. More local information can be found here.

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 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-fields.

Topics of interest include, but are not limited to:

Models of metabolic, signaling, and genetic regulatory networks in living cells