De Morgan House, 57-58 Russell Square, WC1B 4HS
PRICE: $Free
Peter Sewell’s research aims to enable rigorous semantics-based engineering of mainstream systems, including real-world and CHERI.
Get More Info
The Grange Ealing, Ealing, London W5 5QN, United Kingdom
London
£10
The Grange Ealing, Ealing, London W5 5QN, United Kingdom
London
£10
Thames River, London, London, United Kingdom
London
Free to watch
The Grange Ealing, Ealing, London W5 5QN, United Kingdom
London
£10
Queen Elizabeth II Conference Centre, Broad Sanctuary Westminster London SW1P 3EE, United Kingdom
London
Free