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

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!

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

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

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

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!

Thanks!

And Finally …

118 500 400 470 365 84 95 71

A B C D E

A B C D E