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.

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.