08.30—09.00 Registration
09.00-09.10 Opening
9.10—10.30 Session 1. Chair Ylies Falcone
9.10—9.30 Marta Kwiatkowska. On Incremental Quantitative Verification for Probabilistic Systems.
9.30—9.50 Graham Birtwistle and Kenneth Stevens, FSM Design Spaces and their Patterns
9.50—10.10 Murdoch Gabbay, Stone duality for first-order logic: a nominal approach to logic and topology
10.10—10.30 Ursula Martin and Alison Pease, 1377 questions and counting – what can we learn from online math?
10.30—11.00 Coffee break
11.00—12.40 Session 2. Chair Klaus Havelund
11.00—11.20 Saddek Bensalem, TBA
11.20—11.40 Bill Roscoe, Gavin Lowe, Joel Ouaknine and Philip Armstrong, Model Checking Timed CSP
11.40—12.00 Clare Dixon and Michael Fisher, On and On the Temporal Way
12.00—12.20 Timothy Hinrichs, A. Prasad Sistla and Lenore D. Zuck, Model Checking Meets Run-Time Verification
12.20—12.40 Ylies Falcone, Jean-Claude Fernandez and Laurent Mounier, On the Expressiveness of some Runtime Validation Techniques
12.40—14.00 Lunch
14.00—15.20 Session 3. Chair Cliff Jones
14.00—14.20 David Rydeheard and Jesus Hector Dominguez Sanchez, A note on minimum model reasoning
14.20—14.40 Howard Bowman and Li Su,Cognition, Concurrency Theory and Reverberations in the Brain:In research of a Calculus of Communicating Neural Systems
14.40—15.00 Eva Navarro-Lopez, DYVERSE: putting together the pieces of the hybrid systems’ jigsaw
15.00—15.20 Doron Peled, Distributed Control Synthesis
15.20—16.00 Coffee break: Birthday Cake
16.00—18.00 Session 4. Chair Michael Fisher
16.00—16.20 Klaus Havelund, Where Specification and Programming Meet
16.20—16.40 Colin Stirling, Tableaux with Names for Modal and Temporal Logics with Fixpoints
16.40—17.00 Michael Gabbay, The proof theoretic foundations of logic, computation and computationalism
17.00—17.20 Ruurd Kuiper, Pandora’s black box
17.20—17.40 Cliff Jones, Mechanising LPF
17.40—18.00 Simon Thompson, Getting Engaged
19.00—23.00 Dinner