[TYPES/announce] QONFEST 2020 (CONCUR, FMICS, FORMATS, QEST + WORKSHOPS) - Last Call for Participation

[Ezio Bartocci]

QONFEST 2020 - Call for Participation
====================================

Amid the recent COVID-19 situation, the organization committee 
decided that QONFEST 2020, will be organized online on ZOOM. 

Website: https://qonfest2020.github.io/ <https://qonfest2020.github.io/> 
Twitter: https://twitter.com/qonfest2020 <https://twitter.com/qonfest2020> 
Facebook: https://www.facebook.com/search/top?q=wien%20qonfest2020 <https://www.facebook.com/search/top?q=wien%20qonfest2020> 
Youtube: https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/ <https://www.youtube.com/channel/UCK9p1Z8nIPTP4Uv5Qodb1og/>  (Watch the teasers of the conferences' talks)

Platinum Sponsor: Interchain Foundation (https://interchain.io/ <https://interchain.io/>, https://youtu.be/hAgWLU4JW4U <https://youtu.be/hAgWLU4JW4U>)


QONFEST is the umbrella conference comprising the joint international 2020 meetings:

CONCUR 2020, the 31st International Conference on Concurrency Theory
FMICS 2020, the 25th International Conference on Formal Methods for Industrial Critical Systems
FORMATS 2020, the 18th International Conference on Formal Modeling and Analysis of Timed Systems
QEST 2020, the 17th International Conference on Quantitative Evaluation of SysTems
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, (USA)

Registration 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


-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200825/41fc0b04/attachment.htm>