Program for Thursday, September 3rd: Session View

QEST 2020 banner (horizontal)

QEST2020: QUANTITATIVE EVALUATION OF SYSTEMS

PROGRAM AUTHORS KEYWORDS

PROGRAM FOR THURSDAY, SEPTEMBER 3RD: SESSION VIEW

Days:

View: with abstracts talk overview

12:00

12:30

13:00

13:30

14:00

14:30

15:00

15:30

16:00

16:30

17:00

17:30

12:00-13:00

13:00-14:15

Concurrency and Markov Processes

14:15-14:45

Breakout—the Zoom call remains open for social interaction

14:45-16:00

Model Checking II

16:00-16:30

Breakout—the Zoom call remains open for social interaction

16:30-17:30

QEST Keynote by Evgenia Smirni

Disclaimer | Powered by EasyChair Smart Program