<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">QONFEST 2020 - <span class="il">Call</span> for <span class="il">Participation</span><br class="">==============================<wbr class="">======</div><div class=""><br class=""></div><div class="">August 31st - September 5, 2020 (CEST Time Zone)</div><div class=""><br class=""></div><div class=""><font color="red" class="">Amid the recent COVID-19 situation, the organization committee </font></div><div class=""><font color="red" class="">decided that QONFEST 2020, will be organized online on ZOOM. </font></div><div class=""><br class=""></div>Early Registration Deadline: 13 August 2020<div class=""><div class=""><br class=""></div><div class=""><a href="https://qonfest2020.github.io/" class="">https://qonfest2020.github.io/</a> </div><div class=""><br class=""></div><div class=""><p align="justify" class="">QONFEST is the umbrella conference comprising the joint international 2020 meetings:</p><ul class=""><li class=""><a href="https://concur2020.forsyte.at/" class="">CONCUR 2020, the 31st International Conference on Concurrency Theory</a></li><li class=""><a href="https://fmics20.ait.ac.at/" class="">FMICS 2020, the 25th International Conference on Formal Methods for Industrial Critical Systems</a></li><li class=""><a href="https://formats-2020.cs.ru.nl/" class="">FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis of Timed Systems</a></li><li class=""><a href="http://www.qest.org/qest2020/" class="">QEST 2020, the 17th International Conference on Quantitative Evaluation of SysTems</a></li></ul>alongside with several workshops (EXPRESS/SOS, FRIDA, QAVS, TRENDS, SNR) and QEST tutorials.<div class=""><br class="webkit-block-placeholder"></div><p align="justify" class="">The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, industrial critical, and other systems.</p><div class="">Keynote speakers <br class="">================</div><div class=""><br class=""></div><div class=""> - Alessandro Abate - University of Oxford (UK)<br class=""><br class=""> - Roderick Bloem - TU Graz (Austria)<br class=""><br class=""> - Thomas A. Henzinger - IST (Austria)<br class=""><br class=""> - Annabelle McIver - Macquarie University (Australia)<br class=""><br class=""> - Catuscia Palamidessi - INRIA Saclay and LIX (France)</div></div></div><div class=""><br class=""></div><div class=""> - Stefan Resch - Thales, (Austria)</div><div class=""><br class=""></div><div class="">- Evgenia Smirni - College of William and Mary, (USA)</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Registration<br class="">============<br class=""><br class="">This year, the early registration fee (August 13, 2020) for the whole of<br class="">QONFEST is only 10 EUR. The early workshop registration fee is 5 EUR. Late<br class="">registration is 50% more expensive (15 EUR and 8 EUR, respectively).<br class=""><br class="">More information at:<br class=""><br class=""><a href="https://qonfest2020.github.io/registration.html" class="">https://qonfest2020.github.io/<wbr class="">registration.html</a></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Organizing Committee<br class="">==================</div><div class=""><br class=""></div><div class="">General Chair<br class=""><br class="">- Ezio Bartocci, TU Wien, Austria<br class=""><br class="">Workshops Chair<br class=""><br class="">- Florian Zuleger, TU Wien, Austria<br class=""><br class="">CONCUR PC-Chairs<br class=""><br class="">- Igor Konnov, INRIA Nancy, France<br class="">- Laura Kovacs, TU Wien, Austria<br class=""><br class="">FMICS PC-Chairs<br class=""><br class="">- Dejan Nickovic, AIT, Austria<br class="">- Maurice ter Beek, ISTI-CNR, Italy<br class=""><br class="">FORMATS PC-Chairs<br class=""><br class="">- Nathalie Bertrand, INRIA, France<br class="">- Nils Jansen, Radboud University Nijmegen, Netherlands<br class=""><br class="">QEST PC-Chairs<br class=""><br class="">- Marco Gribaudo, Politecnico di Milano, Italy<br class="">- David N. Jansen, Chinese Academy of Sciences, China<br class="">- Anne Remke, University of Münster, Germany<br class=""><br class="">Publicity Chairs<br class=""><br class="">- Carlos E. Budde, University of Twente, Netherlands<br class="">- Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece<br class="">- Ana Sokolova, University of Salzburg, Austria</div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">-- <br class=""><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr" class=""><div dir="ltr" class=""><div dir="ltr" class=""><div class="">Prof. Ezio Bartocci</div><div class="">Faculty of Informatics<br class="">TU Wien, Vienna University of Technology, Austria<br class="">Treitlstraße 3, 1040 Vienna, Austria<br class="">E-Mail: <a href="mailto:ezio.bartocci@tuwien.ac.at" target="_blank" class="">ezio.bartocci@tuwien.ac.at</a></div></div></div></div></div></div></body></html>