International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 14:30 | Inhabitaion in a polymorphic system with simple instantiation | Aleksy Schubert |
| 15:00 | From Semantics to Calculi and Types | Ugo de' Liguoro, Riccardo Treglia |
| 15:30 | Towards a Type System for Confluence in Process Algebras with Priority | Michael Mendler, Luigi Liquori |