Tutorials
10:30–13:30	Flexible Nets. Jorge Júlvez.  University of Cambridge, UK.
Videos: part 1, part 2, part 3, part 4.       Discussion in Slack.
15:00–18:00	Verifying Probabilistic Programs. Benjamin Kaminski.  University College London, UK. Joost-Pieter Katoen.  RWTH Aachen University, DE. Christoph Matheja.  ETH Zürich, AT.
Videos: part 1, part 2, part 3, part 4, part 5, part 6.       Discussion in Slack.

QONFEST plenary talk
11:00–12:00	Annabelle McIver.  Mcquarie University, AUS. On Privacy and Accuracy in Data Releases.
Video in YouTube.       Discussion in Slack.

Social Lunch
12:00–13:00	Best-paper awards (CONCUR+FORMATS+QEST)
Awards ceremony in YouTube.

Model Checking I
13:00	Multi-player Equilibria Verification for Concurrent Stochastic Games. Marta Kwiatkowska, Gethin Norman, David Parker, Gabriel Santos.
Presentation video.       Discussion in Slack.
13:25	Automatic Pre- and Postconditions for Partial Differential Equations. Michele Boreale.
Presentation video.       Discussion in Slack.
13:50	Compact and Explainable Strategy Representations using dtControl. Pranav Ashok, Mathias Jackermeier, Jan Křetínský, Maximilian Weininger.
Presentation video.       Discussion in Slack

Machine Learning Tools
14:45	Loss-size and Reliability Trade-offs Amongst Diverse Redundant Binary Classifiers. Kizito Salako.
Presentation video.       Discussion in Slack.
15:10	Tracking the Race Between Deep Reinforcement Learning and Imitation Learning. Timo P. Gros, Daniel Höller, Jörg Hoffmann, Verena Wolf.
Presentation video.       Discussion in Slack.
15:25	SafePILCO: a Software Tool for Safe and Data-Efficient Policy Synthesis. Kyriakos Polymenakos, Nikitas Rontsis, Alessandro Abate, Stephen Roberts.
Presentation video.       Discussion in Slack.
15:40	StochNetV2: a Tool for Automated Deep Abstractions for Stochastic Reaction Networks. Denis Repin, Nhat-Huy Phung, Tatjana Petrov.
Presentation video.       Discussion in Slack.

Networks and Queueing Models
13:00	Hardening Critical Infrastructure Networks Against Attacker Reconnaissance. Kartik Palani, David M. Nicol.
Presentation video.       Discussion in Slack.
13:25	CogQN: A Queueing Model that captures Human Learning of the User Interfaces of Session-based Systems. Olivia Das, Arindam Das.
Presentation video.       Discussion in Slack.
13:40	A Matlab Toolkit for the Analysis of Two-level Processor Sharing Queues. Andrea Marin, Sabina Rossi, Carlo Zen.
Presentation video.       Discussion in Slack.
13:55	M/M/1 Vacation Queue with Multiple Thresholds: A Fluid Analysis. Mehmet Akif Yazici, Tuan Phung-Duc.
Presentation video.       Discussion in Slack.

Simulation
14:45	Importance of Interaction Structure and Stochasticity for Epidemic Spreading: A COVID-19 Case Study. Gerrit Großmann, Michael Backenköhler, Verena Wolf.
Presentation video.       Discussion in Slack.
15:10	Sensitivity Analysis and Uncertainty Quantification of State-Based Discrete-Event Simulation Models through a Stacked Ensemble of Metamodels. Michael Rausch, William H. Sanders.
Presentation video.       Discussion in Slack.
15:35	The Dynamic Fault Tree Rare Event Simulator. Carlos E. Budde, Enno Ruijters, Mariëlle Stoelinga.
Presentation video.       Discussion in Slack.

QONFEST keynote
16:30–17:30	Tom Henzinger.  IST, Austria. A Survey of Bidding Games on Graphs.
Video in YouTube.       Discussion in Slack

Concurrency and Markov Processes
13:00	Bounding Mean First Passage Times in Population Continuous-Time Markov Chains. Michael Backenköhler, Luca Bortolussi, Verena Wolf.
Presentation video.       Discussion in Slack.
13:25	Markovian Arrival Processes in Multi-Dimensions. Andreas Blume, Peter Buchholz, Clara Scherbaum.
Presentation video.       Discussion in Slack.
13:50	Entropy Measurement of Concurrent Disorder. Victor Cook, Christina Peterson, Zachary Painter, Damian Dechev.
Presentation video.       Discussion in Slack.

Model Checking II
14:45	Probabilistic Model Checking of AODV. Mojgan Kamali, Joost-Pieter Katoen.
Presentation video.       Discussion in Slack.
15:10	Alternative Characterizations of Probabilistic Trace Equivalences on Coherent Resolutions of Nondeterminism. Marco Bernardo.
Presentation video.       Discussion in Slack.
15:35	Inference on Bayesian Networks by Symbolic Model Checking. Bahare Salmani, Joost-Pieter Katoen.
Presentation video.       Discussion in Slack.

QEST keynote
16:30–17:30	Evgenia Smirni.  College of William and Mary Williamsburg, US. Machine Learning for Reliability Analysis of Large Scale Distributed Systems.
Video in YouTube.       Discussion in Slack

---