[BiO BB] HMSB 2011 - Call for Papers

Luca Bortolussi luca at dmi.units.it
Mon Jun 20 05:33:58 EDT 2011

[We apologize for the reception of multiple copies of this message]

Call for Papers
HMSB 2011
First International Workshop on Hybrid Modeling in Systems Biology

November 12-15, 2011

Atlanta, Georgia, USA
Satellite event of BIBM 2011


The goal of systems biology is to provide a system-level understanding 
of biological
systems by unveiling their structure, dynamics and control methods. The 
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.
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 IEEE BIBM 2011 workshop proceedings volume.
A special issue in a journal will be considered at the end of the workshop.

Research Topics include (but are not limited to):
• Hybrid models of biological systems (case studies of genetic, 
cellular networks, models of tissues, ecc)
• Computational and mathematical analysis techniques for hybrid systems 
reachability, model checking, abstract interpretation, bifurcation 
theory for
hybrid dynamical systems, etc.), with applications in Systems Biology.
• Hybrid system identification techniques (learning the model from the 
experimental data)
• Stochastic hybrid systems, applications and analysis techniques
• Efficient simulation techniques for hybrid systems
• Hybrid modeling languages for biological systems
• Hybrid systems coping with incomplete and uncertain information
• Sensitivity analysis for hybrid systems
• Behaviour-driven parameters identification for hybrid systems
• Analysis and simulation tools

Paper Submission
Please submit a full-length paper (8 page IEEE 2-column format) through 
the online submission system
(you can download the format instruction for Latex or Word at 
Electronic submissions (in PDF or Postscript format) are required.
Please refer to the workshop web site for further details on the 
submission procedure.

Important Dates
Electronic submission of full papers: September 12, 2011
Notification of paper acceptance: October 1, 2011
Camera-ready version of accepted papers : October 15, 2011
Workshop: November 12-15

Program Co-chairs:
Luca Bortolussi, University of Trieste, Italy
Ezio Bartocci, University of Stony Brook, USA

Program Committee:
Marco Antoniotti, University of Milano Bicocca
Gregory Batt, INRIA Toulose, France
Alberto Casagrande, University of Trieste, Italy
Edmund Clarke, Carnegie Mellon, USA
Thao Dang, VERIMAG Lab, Grenoble, France
Alexandre Donzé, VERIMAG Lab, Grenoble, France
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
Bud Mishra, NYU, USA
Carla Piazza, University of Udine, Italy
Scott Smolka, University of Stony Brook, USA
Gouhei Tanaka, University of Tokyo, Japan
Verena Wolf, Saarland University, Germany
Paolo Zuliani, Carnegie Mellon, USA

More information about the BBB mailing list