Advertisement
Research Institute in Verified Trustworthy Software Systems (VeTSS) Annual meetingAbout this Event
A one day event with long and short talks, to connect VeTSS research with adjacent topics in AI, Quantum Computing, Security, Distributed Systems, etc.
The schedule of talks will be published soon on the VeTSS website, but confirmed speakers so far are Peter O’Hearn (Lacework and UCL), Jade Alglave (Arm and UCL) and Elizabeth Polgreen (University of Edinburgh).
Due to space constraints, attendance is by invitation only at this point, email us at [email protected] if you would like to attend but have not received an invitation yet.
Advertisement
Event Venue & Nearby Stays
Prince Philip House, 3 Carlton House Terrace, London, United Kingdom
Tickets
GBP 0.00
