CFP: HSB 2015 - Hybrid Systems Biology

HSB 2015: The 4th International Workshop on Hybrid Systems Biology

http://hsb2015.fi.muni.cz

4-5 September 2015, Madrid (Spain)

In conjunction with CONCUR 2015 (Madrid Meet 2015)

Proceedings in Springer's LNCS

=====================================================================

The 4th International Workshop on 'Hybrid Systems Biology' will be held on September 4th and 5th in Madrid (ES), and co-located with the

Madrid Meet 2015 (http://mafalda.fdi.ucm.es/madrid2015/), which hosts also CONCUR 2015, QEST 2015, FORMATS 2015, among other

events. Previous editions have been held in Newcastle upon Tyne (UK), Taormina (IT), and Vienna (AT, at VSL 2014).

== IMPORTANT DATES ==

Abstract Submission: June 8, 2015

Paper Submission:    June 15, 2015

Notification:        July 15, 2015

Final Submission:    To be announced

== TOPICS OF INTEREST ==

The scope of the HSB workshop covers the general area of dynamical models in Biology with an emphasis on hybrid approaches — by no means

restricted to a narrow class of mathematical models — and taking advantage of techniques developed separately in different areas.

Topics of interest include, but are not limited to:

* Models of metabolic, signalling, and genetic regulatory networks in  living cells

* Models of tissues, organs; physiological models

* Biological applications of quantitative and formal analysis techniques, such as reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis

* Parametric and non-parametric system identification techniques (learning models from experimental data)

* Efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models

* Modelling languages for biological systems, with related analysis and simulation tools

* Models coping with incomplete and uncertain information

* Stochastic hybrid models in biology

* Hierarchical systems for multi-scale, multi-domain analysis

* Abstraction, approximation, discretisation, and model reduction techniques

* Game-theoretical frameworks in biology (e.g., populations dynamics)

* Control architectures of biological systems

* Modelling and synthesis for synthetic biology

== CALL FOR CONTRIBUTIONS ==

We solicit high-quality submissions, to be refereed by the Program Committee below, and to be published as Lecture Notes in Computer Science (LNCS) with Springer Verlag. Selected articles might be invited for a special issue in a high-quality journal (under negotiation).

Submitted papers will describe original work that has not been previously published and is not under review for publication elsewhere. We accept the following two types of submission:

* full papers (max 15 pages LNCS Springer Verlag style)

* short papers, including work in progress and tool papers (max 6

  pages LNCS Springer Verlag style)

== PUBLICATION FORMS and PAPER SUBMISSION ==

Papers should be written in English, and should not exceed 6 (short papers) or 15 pages (full papers), inclusive of references, and have to be formatted in LNCS style. Additional material may be included in a clearly marked appendix but will not necessarily undergo review and will not be included in the published version. Papers need to be submitted electronically as PDF files via EasyChair online submission system (https://easychair.org/conferences/?conf=hsb2015).

== PROGRAM COMMITTEE CHAIRS ==

* Alessandro Abate, University of Oxford, Oxford, UK

* David Safranek, Masaryk University, Brno, Czech Republic

== PROGRAM CIMMITTEE ==

* Alessandro Abate, University of Oxford, UK - (co-chair)

* Ezio Bartocci, Vienna University of Technology, Austria

* Gregory Batt, INRIA Rocquencourt, France

* Sergiy Bogomolov, IST Austria

* Luca Bortolussi, Univerity of Trieste, Italy

* Kevin Burrage, University of Oxford, UK

* Luca Cardelli, Microsoft Research, Cambridge, UK

* Pieter Collins, Maastricht University, The Netherlands

* Milan Ceska, Masaryk University, Czech Republic

* Neil Dalchau, Microsoft Research, Cambridge, UK

* Thao Dang, VERIMAG/CNRS, Grenoble, France

* Hidde de Jong, INRIA Grenoble - Rhône-Alpes, France

* Alexandre Donze', UC Berkley, USA

* Francois Fages, INRIA Rocquencourt, France

* Eric Fanchon, TIMC-IMAG Laboratory, Grenoble, France

* Giancarlo Ferrari-Trecate, University of Pavia, Italy

* Elisa Franco, University of California at Riverside / Caltech, USA

* Sicun Gao, MIT CSAIL, USA

* Radu Grosu, Vienna University of Technology, Austria

* Adam Halasz, West Virginia University, USA

* Joao Hespanha, University of California, USA

* Jane Hillston, University of Edinburgh, UK

* Agung Julius, Rensselaer Polytechnic Institute, USA

* Heinz Koeppl, TU Darmstadt, Germany

* Hillel Kugler, Microsoft Research, Cambridge, UK

* Marta Kwiatkowska, Oxford University, UK

* Pietro Lio', University of Cambridge, UK

* Oded Maler, VERIMAG/CNRS, Grenoble, France

* Andrzej Mizera, University of Luxembourg

* Stefan Mueller, RICAM ÖAW, Austria

* Chris Myers, University of Utah, USA

* Nicola Paoletti, University of Oxford, UK

* Ion Petre, Åbo Akademi University, Finland

* Tatjana Petrov, IST Austria

* Carla Piazza, University of Udine, Italy

* Nir Piterman, University of Leicester, UK

* Alberto Policriti, University of Udine, Italy

* Guido Sanguinetti, University of Edinburgh, UK

* Abhyudai Singh, University of Delaware, USA

* Katerina Stankova, Maastricht University, The Netherlands

* David Safranek, Masaryk University, Czech Republic - (co-chair)

* P.S. Thiagarajan, National University of Singapore, Singapore

* Jana Tumova, Royal Institute of Technology, Sweden

* S.A. Wahl, Delft University of Technology, The Netherlands

* Verena Wolf, Saarland University, Germany

* Boyan Yordanov, Microsoft Research, Cambridge, UK

* Paolo Zuliani, Newcastle University, UK

== STEERING COMMITTEE ==

* Ezio Bartocci, Vienna University of Technology, Austria

* Luca Bortolussi, Univerity of Trieste, Italy

* Thao Dang, VERIMAG/CNRS, Grenoble, France

* Adam Halasz, West Virginia University, USA

* Oded Maler, VERIMAG/CNRS, Grenoble, France

* Carla Piazza, University of Udine, Italy