International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 16:30 | Shield Synthesis using LTL Modulo Theories | César Sánchez |
| 17:00 | Sliding between Controller Synthesis and Runtime Verification | Martin Leucker |
| 17:30 | Discussion |