Date(s) - 05/12/2014
2:00 pm - 5:00 pm
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 two or three talks in an afternoon session, starting around 14:00 and finishing by 17:00.
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.