*****************************************************************************
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
http://hmsb2011.cs.sunysb.edu/
*****************************************************************************
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.
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.
Research Topics include (but are not limited to):
• Hybrid models of biological systems (case studies of genetic, biochemical,
cellular networks, models of tissues, ecc)
• Computational and mathematical analysis techniques for hybrid systems (i.e.
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 http://wi-lab.com/cyberchair/2011/bibm11/cbc_index.html).
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
Special Issue
The authors of the best papers of the workshop will be invited to sumbit a contribution for a special
issue of Theoretical Computer Science, Natural Computing Track, with a second round of reviews.
Student Grants
Thanks for the travel grant award from NSF, BIBM 2011 will offer 20 student travel awards to student
authors (including post-doc) , each award is US$800 (BIBM 2010--22 student travel awards, BIBM 2009—16
student travel awards ). Applications can be done via the conference website.
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 Paris-Rocquencourt, 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 A. Smolka, University of Stony Brook, USA
Gouhei Tanaka, University of Tokyo, Japan
Verena Wolf, Saarland University, Germany
Paolo Zuliani, Carnegie Mellon, USA
