<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="">QONFEST 2020 - Call for Participation<br class="">==============================<wbr class="">======<div class=""><div class=""><br class=""><div class=""><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></div><div class=""><br class=""></div><div class="">Website: <a href="https://qonfest2020.github.io/" target="_blank" data-saferedirecturl="https://www.google.com/url?q=https://qonfest2020.github.io/&source=gmail&ust=1598463657693000&usg=AFQjCNEGhVSd3HxBoAsCEOR_M4RDBBeafA" class="">https://qonfest2020.github.io/</a><wbr class=""> </div><div class="">Twitter: <a href="https://twitter.com/qonfest2020" class="">https://twitter.com/qonfest2020</a> </div><div class="">Facebook: <a href="https://www.facebook.com/search/top?q=wien qonfest2020" class="">https://www.facebook.com/search/top?q=wien%20qonfest2020</a> </div></div><div class="">Youtube: <a href="https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/" class="">https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/</a> (Watch the teasers of the conferences' talks)</div><div class=""><br class=""></div><div class="">Platinum Sponsor: Interchain Foundation (<a href="https://interchain.io/" class="">https://interchain.io/</a>, <a href="https://youtu.be/hAgWLU4JW4U" class="">https://youtu.be/hAgWLU4JW4U</a>)</div><div class=""><br class=""></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="">CONCUR 2020, the 31st International Conference on Concurrency Theory</li><li class="">FMICS 2020, the 25th International Conference on Formal Methods for Industrial Critical Systems</li><li class="">FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis of Timed Systems</li><li class="">QEST 2020, the 17th International Conference on Quantitative Evaluation of SysTems</li></ul>alongside with several workshops (EXPRESS/SOS, FRIDA, QAVS, TRENDS, SNR) and QEST tutorials.</div><div class=""><br class=""></div><div class="">The topics covered are Theory, Formal Modelling, Verification,
Performance Evaluation and Engineering of </div><div class="">concurrent, timed, industrial
critical, and other systems.</div><div class=""><br class=""></div><div class=""><div class=""><div class="">Keynote speakers <br class="">================</div><div class=""><br class=""></div><div class=""> - Alessandro Abate - University of Oxford (UK)<br class=""> - Roderick Bloem - TU Graz (Austria)<br class=""> - Thomas A. Henzinger - IST (Austria)<br class=""> - Annabelle McIver - Macquarie University (Australia)<br class=""> - Catuscia Palamidessi - INRIA Saclay and LIX (France)</div></div><div class=""> - Stefan Resch - Thales, (Austria)</div><div class=""> - Evgenia Smirni - College of William and Mary, (USA)</div><div class=""><br class=""></div><div class="">Registration at <a href="https://qonfest2020.github.io/registration.html" class="">https://qonfest2020.github.io/registration.html</a> </div></div><div class=""><br class=""></div><div class=""><br class=""></div><div class=""><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><div class=""><br class=""></div><div class=""><br class=""></div><div 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=""></div></div></div></div></div></div></body></html>