HSB 2016

5th International Workshop on Hybrid Systems Biology (HSB 2016)

20-21 October 2016 | Grenoble (France) | http://hsb2016.imag.fr/

Proceedings in Springer LNCS/LNBI series

Previous editions have been held in Newcastle upon Tyne (UK), Taormina (Italy), Vienna (Austria, at VSL 2014), and Madrid (Spain, co-located with Madrid Meet 2015).

Prior to the conference, on October 19, the organization of a one-day workshop with renowned invited speakers is being considered.

Please refer to the conference website for constantly updated information.

TOPICS OF INTEREST

HSB is a single-track Systems Biology workshop with emphasis on hybrid approaches in a general sense. Hybrid dynamical modelling but also other dynamical modelling approaches are equally part of the scope of the workshop. Interdisciplinary contributions, such as combining modelling, analysis, algorithmic and experimental techniques from different areas, are especially welcome.

Topics of interest include, but are not limited to:

• Modelling and analysis of metabolic, signalling, and genetic regulatory networks in living cells
• Models of tissues, organs, physiological models
• Cyber-biological systems (e.g. integration of computation, networking and biological processes, medical devices, design and verification of molecular devices, engineered transcription networks)
• Models and methods coping with incomplete, uncertain and heterogeneous information
• Stochastic and hybrid models in biology
• Hierarchical systems for multi-scale, multi-domain analysis
• Abstraction, approximation, discretisation, and model reduction techniques
• Modelling, analysis and design for synthetic biology
• Population models in biology (e.g. Mixed-Effects and Bayesian modelling)
• Parametric and non-parametric learning for biological systems (methods for biological system identification and model selection, online and offline parameter and state estimation methods, inference from experimental data, constrained estimation)
• Biological applications of quantitative and formal analysis techniques (e.g. reachability computation, model checking, abstract interpretation, bifurcation theory, stability and sensitivity analysis)
• Efficient techniques for combined and heterogeneous (stochastic/deterministic, spatial/non-spatial) simulations for biological models
• Modelling languages and logics for biological systems, with related analysis and simulation tools
• Control architectures of biological systems
• Game-theoretical frameworks in biology (e.g., populations dynamics)
• Biology-in-the-loop systems (computer control of living systems, bio-robotics)
• Dynamical modelling for biomedical studies (e.g. therapies, teleoperation)

CONFERENCE REGISTRATION AND ENROLLMENT COSTS

Registration dates, procedures and costs will be posted in due time on the conference website.

PROGRAM COMMITTEE CHAIRS

- Eugenio Cinquemani, INRIA, Grenoble, France
- Alexandre Donze, University of California, Berkeley, USA

PROGRAM COMMITTEE

- Alessandro Abate, University of Oxford, UK
- Frank Allgower, University of Stuttgart, Germany
- Ezio Bartocci, TU Wien, Austria
- Gregory Batt, INRIA Paris-Rocquencourt, France
- Joke Blom, CWI, The Netherlands
- Sergiy Bogomolov, IST Austria
- Luca Bortolussi, University of Trieste, Italy
- Luca Cardelli, Microsoft Research, UK
- Milan Ceska, Department of Computer Science, University of Oxford, UK
- Eugenio Cinquemani, INRIA Grenoble - Rhone-Alpes, France
- Pieter Collins, Maastricht University, The Netherlands
- Thao Dang, CNRS/VERIMAG, France
- Hidde De Jong, INRIA Grenoble - Rhone-Alpes, France
- Alexandre Donze, UC Berkeley, EECS Department, USA
- FranASSois Fages, Inria Paris-Rocquencourt, France
- Eric Fanchon, CNRS, TIMC-IMAG, France
- Sicun Gao, MIT CSAIL, USA
- Radu Grosu, Stony Brook University, USA
- Joao Hespanha, University of California at Santa Barbara, USA
- Jane Hillston, University of Edinburgh, Scotland
- Hillel Kugler, Microsoft Research, USA
- Sumit Kumar Jha, University of Central Florida, USA
- Agung Julius, Rensselaer Polytechnic Institute, USA
- Oded Maler, CNRS-VERIMAG, France
- Andrzej Mizera, University of Luxembourg
- Chris Myers, University of Utah, USA
- Nicola Paoletti, Department of Computer Science, University of Oxford, UK
- Ion Petre, Department of Computer Science, Abo Akademi University, Finland
- Alberto Policriti, University of Udine, Italy
- Tatjana Petrov, IST Austria
- Carla Piazza, University of Udine, Italy
- David Safranek, Masaryk University, Brno, Czech Republic
- Guido Sanguinetti, University of Edinburgh, Scotland
- Abhyudai Singh, University of Delaware, USA
- P S Thiagarajan, Harvard Medical School, USA
- Jana Tumova, Royal Institute of Technology, Sweden
- Verena Wolf, Saarland University, Germany
- Boyan Yordanov, Microsoft Research, 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
- Alessandro Abate, University of Oxford, Oxford, UK
- David Safranek, Masaryk University, Brno, Czech Republic