Glasgow Provers is an informal discussion group for researchers in the department with an interest in theorem proving. The group has regular lunchtime meetings and organises seminars as part of the Formal Analysis, Theory and Algorithms research group seminar series. We also actively participate in the Scottish Theorem Proving seminar series.

We go for lunch every week during term time at noon on a Thursday.

If you want to receive email about our meetings then send an email to tfm@dcs.gla.ac.uk to be added to our mailing list.

People
A list of the people who regularly attend our meetings.

PROSPER
Glasgow is the co-ordinating site of the Proof and Specification Assisted Design Environments research project.

Scottish Theorem Proving
The home page for the Scottish Theorem Proving seminar series

Formal Analysis, Theory and Algorithms
Some members of the Provers group also participate in this larger research group.

Please email comments and suggestions to tfm@dcs.gla.ac.uk.