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 5.10, International Centre for Mathematical Sciences (ICMS), Bayes Centre
Address: 47 Potterrow, Edinburgh, EH8 9BT
Date: 12 December 2019, (TBC) 10:30--15:30
Chairs: Oana Andrei (University of Glasgow), Alison Pease (University of Dundee) and Rob Stewart (Heriot-Watt University)
Sponsor: SICSA
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 reasoning, verification and synthesis. This is a friendly venue for PhD students and RAs to discuss their work in progress and get feedback.
Over the last few years there were many discussions about changing the title and broadening the scope of the seminar to explicitly address other forms of formal reasoning, verification and synthesis, thus the seminar is to be rebranded and the new name announced on 12 December 2019.
Invited speaker:
Call for contributions:
We invite contributions on automatic reasoning, theorem proving, model checking, verification and synthesis.
Speakers are invited to present research results in any of the themes of interest for the seminar as well as application experiences, tools, and promising preliminary ideas.
We are planning this event as a friendly venue for PhD students and RAs to discuss their work in progress and get feedback.
If you would like to give a talk, please send your proposed title and abstract (up to 500 words) by email to Rob Stewart via email by (UPDATED!) 5 December 2019.
Attending:
Attending the seminar, the lunch and the coffee break are free (thanks to our sponsors!). In order to help with catering arrangements, please register at our Eventbrite page.
11:00 - 11:30 | Petros Papapanagiotou - Logic-based workflow management and optimisation |
11:30 - 11:45 | Petros Papapanagiotou - WorkflowFM Demo |
11:45 - 12:00 | Blair Archibald - Bigraphs for runtime monitoring digital twin systems |
12:00 - 13:00 | Lunch |
13:00 - 14:00 | Radu Mardare - Quantitative formal reasoning (Invited talk) |
14:00 - 14:30 | Ciaran Dunne - Mathematical Foundations More Suitable for Education and Verification |
14:30 - 15:00 | Coffee break and discussions about the new name and the scope of the STP series. |
15:00 - 15:30 | Juan Casanova - CESQ Logic: A formalism for expressing queries in restricted second-order logic |
We are grateful to SICSA for their generous support of the STP seminar.