International Symposium On Leveraging Applications of Formal Methods, Verification and Validation • Crete, Greece
| Time | Topic | Authors |
| 11:00 | An abstract account of up-to techniques for inductive behavioural relations | Davide Sangiorgi |
| 11:30 | Language equivalence from Nondeterministic to Weighted Automata --- and back | Michele Boreale, Luisa Collodi |
| 12:00 | A process algebraic view of in/out prisoners: from TAPAs to CAAL | Roberto Bruni |