International Symposium on Leveraging Applications of Formal Methods, Verification, and Validation • Kos, Greece
| Time | Topic | Authors |
| 14:30 | An Integrated Ecosystem for Mission-time LTL Specification Elicitation and Validation | Zili Wang, Alec E. Rosentrater, Alexis Aurandt, Christopher Johannsen, Kristin Yvonne Rozier |
| 15:15 | The 1CPLT Project: Scaling Up Choreographic Programming | Sung-Shik Jongmans |