🚀 go-pugleaf

[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

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

-- 

Luca Bortolussi
Assistant Professor of Computer Science
Department of Maths and Computer Science
University of Trieste
Via A. Valerio 12/A, 34100 Trieste, Italia.

office: room 320, 3rd floor
email: luca@dmi.units.it
web: http://www.dmi.units.it/~bortolu/
phone: +39 040 558 2630