Welcome to the ISCB Community News Blog

This blog collects news, announcements or other information which could be of interest to our ISCB members. We are a group ISCB members who volunteer to populate this blog on a regular basis. In case you want to become an "ISCB-News Reporter" yourself, let us know: contact ISCB
Don't repost copyrighted content! The guidelines are:
- Include a link to the source page
- Include a short summary about the article. You can quote up to ONE paragraph from the original story, but not more
- Don't repost an entire articles originating from another source
- Never post content without attribution — always include the source

To post a news, please use this form.

Tuesday, January 24, 2012

Announcement of HSB 2012

Call for Papers --- HSB 2012
First International Workshop on Hybrid Systems and Biology
Newcasle upon Tyne, UK, September 3, 2012
Colocated with CONCUR 2012


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 rea ctions, 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
models of tissues, etc.)
* Computational and mathematical analysis techniques for hybrid systems
(i.e. reachability, model checking, abstract interpretation, bifurcation
for hybrid dynamical systems, etc.), with applications in Systems Biology.
* Hybrid system identification techniques (learning the model from the
* 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 Electronic Proceedings in
Theoretical Computer
Science (EPTCS) series. A special issue in a journal will be considered at
the end of the workshop.

Paper submission
Full papers should be no more than 15 pages long, typesetted in the
Electronic submissions of abstracts and of full-length papers (in PDF
format), can be done through
the online submission system:

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

Program co-chairs
Ezio Bartocci, University of Stony Brook, USA
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é, 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
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
URL: http://hsb2012.units.it/

Contact Person: Luca Bortolussi (luca@dmi.units.it)