Three papers of members of the DisCoVeri group have been accepted for presentation at the European Joint Conferences on Theory & Practice of Software.

• A Comparison of Sequential and GPU Implementations of Iterative Methods to Compute Reachability Probabilities by Elise Cormie-Bowins
• Measuring Progress of Probabilistic LTL Model Checking by Elise Cormie-Bowins and Franck van Breugel
• On the Complexity of Computing Probabilistic Bisimilarity by Di Chen, Franck van Breugel and James Worrell