[TYPES/announce] HSB 2015: CfP for the 4th International Workshop on Hybrid Systems Biology

[Sergiy Bogomolov]

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

http://hsb2015.fi.muni.cz

4-5 September 2015, Madrid (Spain)
In conjunction with 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