[msp-interest] STPV 2026, University of Strathclyde Wednesday 7 October, noon - please register

[Clemens Kupke]

Dear All,

We are restarting the Scottish Theorem Proving meeting series, with a slight rebranding and widening of scope as the

Scottish Theorem Proving and Verification Seminar (STPV)

The first edition will take place at University of Strathclyde  on Wednesday 7 October at 12-5pm. We have 3 fantastic speakers followed by a hopefully lively discussion session about how to turn the event into something recurring. Lunch and coffee will be provided and is sponsored by SICSA. A website of the event can be found here

https://msp.cis.strath.ac.uk/stpv2026/

Registration is free but required (for planning purposes). Registration can be done here: https://www.tickettailor.com/events/sicsa/2403747 by Wednesday 23 September.

All the best,
Clemens
(on behalf of the SICSA Theory & Modelling theme)



-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.strath.ac.uk/archives/msp-interest/attachments/20260908/9eb145c0/attachment.html