Scottish Theorem Proving & Verification 1 event found. Events Views Navigation Event Views Navigation Summary List Month Today Upcoming Upcoming Select date. Oct 2026 Wed 7 12:00 pm - 5:00 pm Scottish Theorem Proving & Verification (STPV) Seminar Previous Events Today Next Events Subscribe to calendar Google Calendar iCalendar Outlook 365 Outlook Live Export .ics file Export Outlook .ics file