[TYPES/announce] HSB 2015: Call for Participation and Posters/Demos for the 4th International Workshop on Hybrid Systems Biology

[Sergiy Bogomolov]

-- Call for Participation and Posters/Demos --

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

Posters/Demos Submission: August 15, 2015
Paper Submission: June 15, 2015 (closed)
Paper Notification: July 15, 2015
Paper 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 POSTERS AND DEMOS ==

Full paper submission has been closed. Now we solicit poster/demo presentations.
Please submit a poster or tool demo abstract not exceeding 1 page A4
into the EasyChair
online submission system at https://easychair.org/conferences/?conf=hsb2015
until August 15th. Abstracts serve the sole purpose of selecting contributions
for the poster/demo session and will not be published in the
conference proceedings.

== REGISTRATION ==

Registration is now opened and can be done via the Madrid Meet webpage at
http://mafalda.fdi.ucm.es/madrid2015/registration.htm.

Early registration deadline: July 24, 2015

== PLENARY SPEAKERS ==

* Luca Cardelli, Microsoft Research
* Mustafa Khammash, 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