Call for papers
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 a volume of the open-access
journal Electronic Proceedings in Theoretical Computer Science. A
special issue in a journal will be considered at the end of the
workshop.
Topics of interest include, but are not limited to:
- Hybrid models of biological systems (case studies of genetic, cellular networks, models of tissues, etc.)
- 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)
- 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.
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.
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 here).
Electronic submissions (in PDF or Postscript format) are required.
Selected participants will be asked to submit their revised papers in a format to be specified at the time of acceptance.
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.
Registration Fee
The registration fee and policy were decided by the BIBM 2011 conference organizers and are available here. In order to attend the workshop the BIBM 2011 registration policy requires the partecipants to register to the entire event.
| | - | Due date for workshop papers submission (at least two reviews for each paper) | ||
| October 1, 2011 | - | Notification of paper acceptance to authors | ||
| October 15, 2011 | - | Camera-ready of accepted papers |
- Radu Grosu, University of Stony Brook, USA
- Ezio Bartocci, University of Stony Brook, USA
- Luca Bortolussi, Univerity of Trieste, Italy
- 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
