[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Our apologies if you have received multiple copies.
####################################################################
FINAL CALL FOR PAPERS -- EXTENDED DEADLINES
Third International Workshop on
Hybrid Systems and Biology
(HSB 2014)
http://hsb2014.imag.fr
Vienna, Austria
July 23-24, 2014
####################################################################
IMPORTANT DATES
Paper Submission: March 28, 2014 (extended)
Notification: May 8, 2014
Post Proceedings Camera Ready: October 1, 2014
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 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:
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.
INVITED SPEAKERS:
* David Harel, The Weizmann Institute of Science, Israel
* Eshel Ben-Jacob, Tel-Aviv University, Israel
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:
https://www.easychair.org/conferences/?conf=hsb14
REGISTRATION
The regular fee (by May 20, 2014) to attend this two-days workshop is EUR 200.
The late fee (by June 30, 2014) is EUR 240. The onsite fee is EUR 260. It is
also
possible to register only to HSB workshop without registering to CAV
conference.
A person registered for a Vienna Summer of Logic event (conference or workshop)
can attend any parallel Vienna Summer Logic event on the same day.
ORGANIZATION:
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
