BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//SICSA - ECPv6.17.4//NONSGML v1.0//EN
CALSCALE:GREGORIAN
METHOD:PUBLISH
X-ORIGINAL-URL:https://sicsa.ac.uk
X-WR-CALDESC:Events for SICSA
REFRESH-INTERVAL;VALUE=DURATION:PT1H
X-Robots-Tag:noindex
X-PUBLISHED-TTL:PT1H
BEGIN:VTIMEZONE
TZID:UTC
BEGIN:STANDARD
TZOFFSETFROM:+0000
TZOFFSETTO:+0000
TZNAME:UTC
DTSTART:20250101T000000
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTART;TZID=UTC:20261007T120000
DTEND;TZID=UTC:20261007T170000
DTSTAMP:20260907T115219Z
CREATED:20260907T115117Z
LAST-MODIFIED:20260907T115219Z
UID:10000116-1791374400-1791392400@sicsa.ac.uk
SUMMARY:Scottish Theorem Proving & Verification (STPV) Seminar
DESCRIPTION:Verification and theorem proving research is notably strong in Scottish universities\, with active groups and researchers in at least six departments. This new Scottish Theorem Proving and Verification Seminar (STPV) is intended to 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 verification and theorem proving community. Represented fields include e.g. theorem proving\, model checking and other forms of formal reasoning\, verification and synthesis. This will also serve as a friendly venue for PhD students and RAs to discuss their work in progress and get feedback. \nIn this inaugural edition we have three invited speakers\, presenting some of their STPV-related work and leading a panel discussion on the scope and future plans for the seminar series. The seminar series is intended as continuation and broadening of the previously existing STP seminars. \nRegister\n\nhttps://msp.cis.strath.ac.uk/stpv2026/
URL:https://sicsa.ac.uk/event/stpv-seminar/
LOCATION:University of Strathclyde\, United Kingdom
CATEGORIES:Seminar
ATTACH;FMTTYPE=image/png:https://sicsa.ac.uk/wp-content/uploads/2026/09/sicsa-banner-theory-20261007-stpv.png
END:VEVENT
END:VCALENDAR