🚀 go-pugleaf

[Apologies for multiple copies - changes on topic list and special issue]

First International Workshop on Hybrid Systems and Biology

Newcasle upon Tyne, UK, September 3, 2012
Colocated with CONCUR 2012
http://hsb2012.units.it/


The goal of systems biology is to provide 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 all of 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 simulation at the organ 
or even the
cell level is frequently impractical. Indeed, an important open problem 
is finding
appropriate computational models that scale well for both the 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.
There will be a following special issue on Information and Computation, 
based on selected papers of the workshop.

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: 
https://www.easychair.org/conferences/?conf=hsb2012

Special Issue
There will be a special issue on Information and Computation, based on 
selected papers of the workshop.

Registration
The registration can be done via the CONCUR 2012 web site.

Important dates
   June 15, 2012         -        Abstract submission deadline
   June 22, 2012         -        Full paper submission deadline
   July 30, 2012         -        Notification of paper acceptance
   August 7, 2012        -        Camera-ready of accepted papers

Invited Speaker
Radu Grosu, TU Wien, Austria

Program co-chairs
Ezio Bartocci, TU Wien, Austria
Luca Bortolussi, Univerity of Trieste, Italy

Program committee
Marco Antoniotti, University of Milano Bicocca
Gregory Batt, INRIA Paris-Rocquencourt, France
Alberto Casagrande, University of Trieste, Italy
Edmund Clarke, Carnegie Mellon, USA
Thao Dang, VERIMAG Lab, Grenoble, France
Alexandre Donz�, UC Berkley, USA
James R. Faeder, University of Pittsburgh, USA
Jasmin Fisher, Microsoft Research, Cambridge, UK
Vashti Galpin, University of Edinburgh, UK
Colas Le Guernic, NYU, USA
Oded Maler, VERIMAG Lab, Grenoble, France
Emanuela Merelli, University of Camerino, Italy
Bud Mishra, NYU, USA
Carla Piazza, University of Udine, Italy
Alberto Policriti, University of Udine, Italy
Scott A. Smolka, University of Stony Brook, USA
Gouhei Tanaka, University of Tokyo, Japan
Verena Wolf, Saarland University, Germany
Paolo Zuliani, Carnegie Mellon, USA