This event has concluded, but exciting conferences are happening worldwide — explore upcoming events in your field and stay ahead with the latest insights and networking opportunities. Subscribe to our newsletter.
Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS)
150 150 people viewed this event.
The Joint International Conferences on Quantitative Evaluation of SysTems (QEST) and on Formal Modeling and Analysis of Timed Systems (FORMATS) will be held in Aarhus, Denmark.
Topics of interest include, but are not limited to: Verification, Stochastic Models, Timed Systems, Computer Systems And Networks
Submission deadline for conference contributions is Apr 11, 2025.