International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Towards a Formal Testing Theory for Quantum Processes | Mohammad Reza Mousavi, Kirstin Peters, Anna Schmitt |
| 15:00 | Testing Quantum Processes | Lorenzo Ceragioli, Fabio Gadducci, Giuseppe Lomurno, Gabriele Tedeschi |
| 15:30 | Emerging Synchrony in Applauding Audiences: Formal Analysis and Specification | Luca Di Stefano, Omar Inverso |