Events

Date: 28 March 2025   Time: 15:00 - 17:00

Location: Peter Landin 4.24

There has been a change to the posted event

Speaker: Rob Arthan

Rob Arthan will give a talk on mechanized theorem proving, particularly as regards its application in mathematics,

Rob's talk should last one hour, so we will have time afterwards to discuss matters related to the group (e.g., research directions, grants, teaching, etc)

We will be celebrating Iranian New Year with some traditional sweets.

The seminar will be followed by a social event at which all are welcome.