International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Function-as-a-Service Allocation Policies Made Formal | Giuseppe De Palma, Saverio Giallorenzo, Jacopo Mauro, Matteo Trentin, Gianluigi Zavattaro |
| 15:00 | Asynchronous Multiparty Sessions with Internal Delegation | Franco Barbanera, Mariangiola Dezani-Ciancaglini |
| 15:30 | Code-centric Code Generation | Steven Smyth, Tim Tegeler, Daniel Busch, Bernhard Steffen |