posted by organizer: MaxTschaikowski || 3667 views || tracked by 3 users: [display]

HSB 2020 : HSB 2020: Hybrid Systems and Biology


When Apr 15, 2020 - Apr 16, 2020
Where Vienna
Submission Deadline Dec 13, 2019
Notification Due Mar 6, 2020
Final Version Due May 8, 2020
Categories    computational biology   modeling   verification   control

Call For Papers

[Please feel free to share]


HSB 2020: 7th International Workshop on Hybrid Systems and Biology

April 15-16, Vienna, Austria


HSB is a single-track workshop centering on dynamical models in biology, with an emphasis on both hybrid systems (in the classical sense, i.e., mixed continuous-discrete-stochastic systems) and hybrid approaches that combine modeling, analysis, algorithmic and experimental techniques from different areas.

Topics of interest include, but are not limited to:

- Modeling and analysis of metabolic, signalling and genetic regulatory networks in living cells.
- Stochastic and hybrid models in biology.
- Models of tissues and organs; physiological models.
- Learning, synthesis, and inference of biosystems.
- Hierarchical systems for multi-scale, multi-domain analysis.
- Abstraction, approximation, discretisation and model reduction techniques.
- Synthetic biology, cyber-biological / bio-in-the-loop systems, biomedical systems and devices and bio-robotics.
- Game-theoretical frameworks and population models in biology.
- Quantitative and formal analysis techniques (e.g. reachability, model checking, abstract interpretation, bifurcation theory).
- Modeling languages and logics for biosystems.

HSB 2020 will have informal pre-proceedings available during the workshop. Post-proceedings will be published as a volume in the Springer LNCS/LNBI series, indexed by ISI Web of Science, Scopus, ACM Digital Library, DBLP, and Google Scholar.

A special journal issue is under consideration. We solicit high-quality submissions, to be refereed by the Program Committee.


Papers should be written in English and have to be formatted in Springer LNCS style. Each submission will be reviewed by at least three reviewers. Papers need to be submitted electronically as PDF files via EasyChair online submission system (coming soon). We accept the following two types of paper submissions:

- Regular papers (max 15 pages + max 2 pages of references)
- Tool papers (max 6 pages + max 2 pages of references)

Tool papers require the submission of an executable artifact that contains clear instructions for the reviewer on how to run the tool.

Submissions can contain a well-marked appendix that is not counted to the page limit. The appendix will not be published in the proceeding and the reviewers are not required to read the appendix and thus the submission must be intelligible without it.

Each accepted paper will have a slot for oral presentation at the workshop.


HSB 2020 also solicits poster abstracts presenting original unpublished work. The abstracts must be written in English, formatted in Springer LNCS style and should not exceed 2 pages including references. Poster abstracts should be submitted via the EasyChair online submission system. The program committee will select the best abstracts for publication in the conference proceedings.

Each accepted poster will also have a slot for a 5-minute flash oral presentation at the workshop.


In addition to original contributions, HSB 2020 invites abstracts for oral presentation of recent outstanding results already published or accepted for publication in a recognised journal or a high-quality conference during the last year. These non-original contributions will be presented at the workshop but will not be part of the proceedings.

HSB also welcomes poster abstracts describing previously published work. For these posters, however, the 5-minute flash presentation slot is not guaranteed.


Paper submission: 13th Dec 2019
Poster abstract submission: 17th Jan 2020
Author Notification: 6th Mar 2020
Workshop: 15th-16th Apr 2020
Final post-proceedings version: 8th May 2020


Luca Cardelli, University of Oxford, UK
Thomas Henzinger, IST Austria, Austria


Laura Nenzi – TU Wien, Austria & University of Trieste, Italy
Max Tschaikowski – TU Wien, Austria


Laura Nenzi – TU Wien, Austria & University of Trieste, Italy


Alessandro Abate – University of Oxford, UK
Ezio Bartocci – TU Wien, Austria
Luca Bortolussi – University of Trieste, Italy
Milan Ceska, Brno University of Technology, Czech Republic
Eugenio Cinquemani – INRIA, France
Thao Dang – CNRS / VERIMAG, France
Alexandre Donze, University of California at Berkeley, USA / Decyphir Inc
Adam Halasz, West Virginia University, USA
Nicola Paoletti – Royal Holloway, University of London, UK
Carla Piazza, University of Udine, Italy
David Šafránek – Masaryk University, Czech Republic

Related Resources

Self-Organization in Biology 2024   Self-Organization in Biology Freiburg Spemann-Mangold Centennial Symposium
IEEE Xplore-Ei/Scopus-CTISC 2024   2024 6th International Conference on Advances in Computer Technology, Information Science and Communications (CTISC 2024) -EI Compendex
ISCSIC 2024   2024 8th International Symposium on Computer Science and Intelligent Control(ISCSIC 2024)
SIUSAI 2024   2024 3rd International Symposium on Intelligent Unmanned Systems and Artificial Intelligence(SIUSAI 2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
JoL 2023   International Journal of Law
GIRES_HARLEM Renaissance 2024   Celebrating the Centenary of the Harlem Renaissance: Legacy, Influence, and Contemporary Perspectives
ACM-Ei/Scopus-CMLDS 2024   2024 International Conference on Computing, Machine Learning and Data Science (CMLDS 2024)
GIRES_CIVIL RIGHTS 2024   Civil Rights Act of 1964: Historical Significance, Impact, and Legacy
IEEE ICARA 2024   IEEE--2024 the 10th International Conference on Automation, Robotics and Applications (ICARA 2024)