Free

SICSA sponsored event: Scottish Theorem Proving Seminar 2017

Event Information

Share this event

Date and Time

Location

Location

School of Computing Science, University of Glasgow

18 Lilybank Gardens

Sir Alwyn Williams Building

Glasgow

G12 8RZ

United Kingdom

View Map

Friends Who Are Going
Event description

Description

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 provides a common venue for communication and sharing of ideas by all these researchers. At least once a term, one of the departments hosts an informal seminar for the whole Scottish theorem proving community. The format is to have three or four talks in an afternoon session, starting around 14:00 and finishing by 17:00. Thanks to the generous sponsorship of SICSA, lunch is provided from 13:15 as well as a mid-afternoon coffee break with celebratory cake.

This deliberately lightweight format makes the seminar an easy day trip for everyone from across Scotland. As well as theorem proving other related fields are also represented, e.g. model checking and other forms of formal verification.

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.

You can find full details of this event at the STP17 Web Site.

Share with friends

Date and Time

Location

School of Computing Science, University of Glasgow

18 Lilybank Gardens

Sir Alwyn Williams Building

Glasgow

G12 8RZ

United Kingdom

View Map

Save This Event

Event Saved