Past event
CIRCA lunchtime seminar
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