HSB 2015: The 4th International Workshop on Hybrid Systems Biology
4-5 September 2015, Madrid (Spain)
In conjunction with CONCUR 2015 (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