# Events

#### Primitive-recursion done with very feeble predicative universes

Peter Hancock. Part of the proofs, constructions and computations seminar series.

#### TBA

Sira Gratz, University of Glasgow. Part of the Pure mathematics algebra seminar series.

#### Theorem-Proving for Modal Logics

Cláudia Nalon, University of Brasília. Part of the algebra, logic, and algorithms seminar series.

#### TBA

Philipp Lampe, Durham University. Part of the Algebra Seminar Series

#### TBA

Michael Wemyss, University of Glasgow. Part of the Leeds Algebra Seminar Series

#### TBA

Brent Pym, University of Edinburgh. Part of the Pure Mathematics algebra seminar series.

- One day event
- Reoccuring events