[TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Call for Participation (Early Registration Deadline: 13 August 2020)

[Ezio Bartocci]

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:     ezio.bartocci at tuwien.ac.at <mailto:ezio.bartocci at tuwien.ac.at>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200811/22a16a1d/attachment.htm>