| 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 |
|
|
