International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Augmenting Fault Tree Analysis with System-Theoretic Process Analysis in PASTA | Jette Petzold, Reinhard von Hanxleden |
| 17:00 | Synthesis of Reactive Systems with Reachability and Safety Certificates | Christoph Stahl, Andrej Dudenhefner, Felix Laarmann |
| 17:30 | Scaling Real-World Programming with ChatGPT | Felix Laarmann, Morten Heine Sørensen, Mark Hissink Muller |