Logic and Semantics Seminar (Computer Laboratory)

Andy Pitts Says 'Type Soundness proofs are two a penny!' but I think they're cheaper than that.

This is a special off-schedule edition of the Logic & Semantics Seminar, with Conor Mc Bride headlining. Please note the date, time and location.

Conor Mc Bride.

FW26, Computer Laboratory.

Thursday 16 April 2026, 14:00-15:00

Logic and Semantics Seminar (Computer Laboratory)

Neutrality and The Atoll Verified Hypervisor

David Cock.

SS03, Computer Laboratory.

Friday 17 April 2026, 14:00-15:00

Computer Laboratory Security Seminar

Am I a Member? Auditing Private Machine Learning

Nicolas Papernot, University of Toronto.

Webinar & FW11, Computer Laboratory, William Gates Building..

Tuesday 21 April 2026, 14:00-15:00

RSE Seminars

Content, Caching and Kubernetes: Performance and User Experience in the Browser

Laurents Marker - Software developer, National Centre for Atmospheric Science.

Room B, West Hub.

Thursday 30 April 2026, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Floris van Doorn (University of Bonn).

Online; live-streamed at MR14 Centre for Mathematical Sciences.

Thursday 30 April 2026, 17:00-18:00

RSE Seminars

EVERSE Research Software Quality Kit

Michael Sparks - Software Sustainability Institute.

Room C, West Hub.

Thursday 14 May 2026, 13:00-14:00

RSE Seminars

"Green" RSEs? A new role (and a new community) to reduce the environmental impact of research

Kirsty Pringle - Software Sustainability Institute; EPCC, University of Edinburgh.

Room E, West Hub.

Thursday 21 May 2026, 13:00-14:00

Formalisation of mathematics with interactive theorem provers

Title to be confirmed

Thomas Powell (University of Bath).

Centre for Mathematical Sciences, MR14.

Thursday 28 May 2026, 17:00-18:00