[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
QONFEST 2020 - Call for Participation
====================================
August 31st - September 5, 2020
Amid the recent COVID-19 situation, the organization committee
decided that QONFEST 2020, will be organized online on ZOOM.
Early Registration Deadline: 13 August 2020
https://qonfest2020.github.io/ <https://qonfest2020.github.io/>
QONFEST is the umbrella conference comprising the joint international 2020
meetings:
CONCUR 2020, the 31st International Conference on Concurrency Theory
<https://concur2020.forsyte.at/>
FMICS 2020, the 25th International Conference on Formal Methods for Industrial
Critical Systems <https://fmics20.ait.ac.at/>
FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis
of Timed Systems <https://formats-2020.cs.ru.nl/>
QEST 2020, the 17th International Conference on Quantitative Evaluation of
SysTems <http://www.qest.org/qest2020/>alongside with several workshops
(EXPRESS/SOS, FRIDA, QAVS, TRENDS, SNR) and QEST tutorials.
The topics covered are Theory, Formal Modelling, Verification, Performance
Evaluation and Engineering of concurrent, timed, industrial critical, and other
systems.
Keynote speakers
================
- Alessandro Abate - University of Oxford, UK
- Roderick Bloem - TU Graz (Austria)
- Thomas A. Henzinger - IST (Austria)
- Annabelle McIver - Macquarie University (Australia)
- Catuscia Palamidessi - INRIA Saclay and LIX (France)
- Stefan Resch - Thales, (Austria)
- Evgenia Smirni - College of William and Mary, VA, USA
Registration
============
This year, the early registration fee (August 13, 2020) for the whole of
QONFEST is only 10 EUR. The early workshop registration fee is 5 EUR. Late
registration is 50% more expensive (15 EUR and 8 EUR, respectively).
More information at:
https://qonfest2020.github.io/registration.html
<https://qonfest2020.github.io/registration.html>
Organizing Committee
==================
General Chair
- Ezio Bartocci, TU Wien, Austria
Workshops Chair
- Florian Zuleger, TU Wien, Austria
CONCUR PC-Chairs
- Igor Konnov, INRIA Nancy, France
- Laura Kovacs, TU Wien, Austria
FMICS PC-Chairs
- Dejan Nickovic, AIT, Austria
- Maurice ter Beek, ISTI-CNR, Italy
FORMATS PC-Chairs
- Nathalie Bertrand, INRIA, France
- Nils Jansen, Radboud University Nijmegen, Netherlands
QEST PC-Chairs
- Marco Gribaudo, Politecnico di Milano, Italy
- David N. Jansen, Chinese Academy of Sciences, China
- Anne Remke, University of Münster, Germany
Publicity Chairs
- Carlos E. Budde, University of Twente, Netherlands
- Panagiotis Katsaros, Aristotle University of Thessaloniki, Greece
- Ana Sokolova, University of Salzburg, Austria
--
Prof. Ezio Bartocci
Faculty of Informatics
TU Wien, Vienna University of Technology, Austria
Treitlstraße 3, 1040 Vienna, Austria
E-Mail: [email protected] <mailto:[email protected]>
