QONFEST 2020 (re-arranged to virtual)

DATE:Monday, August 31, 2020 – Saturday, September 5, 2020

QONFEST 2020 is the umbrella conference comprising the joint international 2020 meetings alongside with several workshops and tutorials:

The topics covered are Theory, Formal Modelling, Verification, Performance Evaluation and Engineering of concurrent, timed, industrial critical, and other systems.


We are closely following the situation regarding Coronavirus (COVID-19) and will take appropriate measures if and when needed, following the recommendations of relevant national and international bodies, such as the World Health Organization. These measures will be adapted to the actual situation and may, for example, include the possibility of remote paper presentations.

Call for Workshops

Researchers and practitioners are invited to submit proposals for workshops to be affiliated to QONFEST 2020. Example topics include: concurrency theory and its applications, timed systems, semantics, logics, verification techniques, cross-fertilization between industry and academia and opportunities for young and prospective researchers. More here

Deadline: January 15, 2020

Workshops: take place on Monday August 31, 2020 and Saturday September 5, 2020.


Comments are closed.