Verimag

IWHSB 2013

12th International Conference on Formal Modeling and Analysis of Timed Systems Florence, Italy

Go to the main page http://hsb2013.imag.fr/

Systems biology aims at providing 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 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 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 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 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.

Topics of interest include, but are not limited to:

Hybrid models of biological systems (case studies of genetic, cellular networks, models of tissues, etc.) Models of biological systems with hybrid behavior Computational and mathematical analysis techniques for hybrid systems (i.e. reachability, model checking, abstract interpretation, bifurcation theory for hybrid dynamical systems, stability analysis, 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 Hierarchical hybrid systems for multi scale analysis Stochastic hybrid systems Hybrid simulation (stochastic/deterministic) methods for biological systems Abstraction and approximation techniques Hybrid systems modeling for synthetic biology Hybrid control of biological systems 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 Electronic Proceedings in Theoretical Computer Science (EPTCS) series.

Paper submission Full papers should be no more than 15 pages long, typesetted in the EPTCS-style. Electronic submissions of abstracts and of full-length papers (in PDF format), can be done through the online submission system.

Location

HSB 2013 will be co-located with ECAL 2013, 12th European Conference on Artificial Life, September 2-6 2013, Taormina, Italy.

Registration The registration can be done via the ECAL 2013 web site.

Registration as Presenting Author: June 15, 2013

Early registration: June 15, 2013

Late registration: June 16 - September 6, 2013

On-Site registration: September 2-6, 2013

Important dates (tentative) June 14, 2013 - Abstract submission deadline June 29, 2013 (initially 19 June) - Full paper submission deadline July 12, 2013 - Notification of paper acceptance July 24, 2013 - Camera-ready of accepted papers

Invited Speaker

Alessandro Astolfi, Imperial College London, UK

Program co-chairs

Thao Dang, CNRS/VERIMAG, Grenoble, France Carla Piazza, University of Udine, Italy


Contact | Site Map | Site powered by SPIP 3.0.22 + AHUNTSIC [CC License]

info visites 704730