International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | Adventures in FRET and Specification | Marie Farrell, Matthew Luckcuck, Rosemary Monahan, Conor Reynolds, Oisin Sheridan |
| 11:30 | Panel Discussion | |
| 12:00 | SAT-Based Quantified Symmetric Minimization of the Reachable States of Distributed Protocols: An Update | Karem Sakallah, Yun-Rong Luo, Aman Goel |