1. Scottish Theorem Proving @ ICMS December 14, 2018
Andrew Ireland
Dependable Systems group
School of Mathematical & Computer Sciences
Heriot-Watt University
Edinburgh

2. Schedule for December 14 12:30-13:25 Lunch
13:25-13:30 Andrew Ireland – Welcome & Overview
13:30-14:00 William Kavanagh (University of Glasgow):
Model Checking for Interesting Stochastic Turn-Based Games
14:00-14:30 Kirsty Duncan (Heriot-Watt University):
Existing landscape in verification of neural networks 14:30-15:00 Juan Casanova (University of Edinburgh):
Meta-resolution: A Least Commitment Algorithm for Enumerating Provable Instantiations of Formulas
Containing Meta-variables
15:00-16:00 Coffee & Tea + Demos + Posters
16:00-17:00 Re-Branding STP – Discussion Session
17:00-… Retire to a local hostelry for Festive Drinks!

3. Discussion Session Re-branding STP? New STP co-ordinator
STP Showcase – May 2019

4. Scottish Theorem Proving?
Created in 1997 by Tom Melham – first meeting hosted by St Andrews University
STP plays an important role in nurturing PhD students and young researchers
STP brings together researchers with a wide spectrum of interests in formal representation and reasoning – from the applied to the theoretical

6. Scottish Theorem Proving?
STP has been around for 21 years – why change the brand and risk losing its following?
People not doing “mainstream theorem proving” may not see it as a relevant forum for their work – in particular new researchers and PhD students

7. Scottish Theorem Proving?
Remain with STP
Leave STP - possible new names might be:
Scottish Verification & Reasoning (SVR)
Scottish Automated Representation & Reasoning (SCARR) …
Augment STP with a marketing strapline, e.g.
STP: A Forum for Representation and Reasoning Research – from the applied to the theoretical
Or …
Discuss!

8. Thanks!

9. And Finally …

11. 118
500
400
470
365 84 95 71

13. A B C D E

14. A B C D E