Theory and Practice of Formal Methods

09:00 – 09:20 Opening Jan Rutten 09:20 – 09:40 Time Travel in Stories and Games Michiel Helvensteijn, Farhad Arbab 09:40 – 10:00 Comparing Trace Expressions and LTL for Runtime Verification Davide Ancona, Angelo Ferrando, Viviana Mascardi 10:00 – 10:20 Compositional Verification Applied to (Parameterised) Hybrid Systems Lacramioara Astefanoaei, Saddek Bensalem, Marius Bozga 10:30– 11:00 Coffee break