Past event

CIRCA lunchtime seminar

Name: CIRCA lunchtime seminar
Start: 2024-02-22T13:00:00+00:00
End: 2024-02-22T14:00:00+00:00
Location: Mathematical Institute, Theatre D

: Thursday 22 February 2024
: 1:00pm to 2:00pm
: Mathematical Institute, Theatre D

Chris Brown will speak on “Semi-Automatic Ladderisation: Improving Code Security through Rewriting and Dependent Types”, and Victoria Ironmonger will speak on “The atomicity problem for equivalence relations and other structures”

All welcome