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

[Sergiy Bogomolov]

-- Second Call for Papers --

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:    September 5, 2015

== 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).

== INVITED SPEAKERS ==
* Luca Cardelli, Microsoft Research
* Mustafa Hani Khamash, ETH Zurich

== PROGRAM COMMITTEE CHAIRS ==

* Alessandro Abate, University of Oxford, Oxford, UK
* David Safranek, Masaryk University, Brno, Czech Republic

== PROGRAM COMMITTEE ==

* 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