-- 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 11, 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