Cyber Security & Privacy Seminar Series

Next upcoming seminar

Alessandro Bruni (ITU)

Certifying Statistical Robustness in Coq
13 December 2023
1004883
DD days
HH hours
MM min
Event Starts refresh page to see next upcoming event
Find out more

Partner Institutions

University of Birmingham
University of Brighton
University of Bristol
Cardiff University | Prifysgol Caerdydd
Coventry University
De Montfort University
The University of Edinburgh
UofG_logo
Heriot-Watt University
Imperial College London
University of Kent
King's College London
Lancaster University
Loughborough University
Newcastle University
University_of_Oxford
Queen's University
Royal Holloway University of London
University of Southampton
University of Strathclyde
University of Surrey
Swansea University | Prifysgol Abertawe
Teesside University
The University of Warwick
University of York