The Scottish Theorem Proving Seminar Series provide a common and friendly venue for communication and sharing of recent work on theorem proving and related forms of formal verification.
Venue: Room SAWB 423, Sir Alwyn Williams Building
School of Computing Science, University of Glasgow
18 Lilybank Gardens, Glasgow, G12 8RZ
Date: 19 May 2017, starting from 13:15 with lunch
Chairs: Oana Andrei (University of Glasgow) and Alice Miller (University of Glasgow)
Sponsors: SICSA, School of Computing Science and 60th anniversary of Computing in Glasgow
Theorem proving research is notably strong in Scottish universities, with active groups and researchers in at least six departments. The Scottish Theorem Proving Seminar Series provide a common venue for communication and sharing of ideas by all these researchers. At least once a year, one of the departments hosts an informal seminar for the whole Scottish theorem proving community. As well as theorem proving, other related fields are also represented, e.g. model checking and other forms of formal verification. This is a friendly venue for PhD students and RAs to discuss their work in progress and get feedback. The usual format is to have three or four talks in an afternoon session, starting around 14:00 and finishing by 17:00. Lunch will be provided from 13:15 and later in the afternoon there will be cake during the coffee break.
This year we celebrate 20 years of Scottish Theorem Proving seminars (over 40 events). Therefore it is a great opportunity for the School of Computing Science to host the first seminar of 2017 to join the on-going celebration of the 60th anniversary of the School at the University of Glasgow.
Attending the seminar, the lunch and the coffee break with celebratory cake are free (thanks to our sponsors!). In order to help with catering arrangements, please register at our Eventbrite page.
13:15 - 14:00 | Lunch |
14:00 - 14:40 | Tom Melham (University of Oxford), Effective Validation of Low-Level Firmware (Invited talk) |
14:40 - 15:20 | Yue Li (Heriot-Watt University), Productive Corecursion in Logic Programming |
15:20 - 15:40 | Coffee break |
15:40 - 16:20 | Chris Warburton (University of Dundee), Quantitative Benchmarks for Theory Exploration |
16:20 - 17:00 | Oana Andrei (University of Glasgow), Statistical Machine Learning and Probabilistic Model Checking for Interactive Systems |
We are grateful to SICSA for their generous support of the STP seminar, as well as the Chairs of the 60th celebrations at the School of Computing Science, University of Glasgow.