1st Imperial - UCL Verification Meeting
Friday, 10 January 2020 April 2020 @ UCL Department of Computer Science
About
The goal of this meeting series is to establish closer links between researchers from Imperial and UCL working in verification and testing, to better understand what’s happening on each side of the city, and to initiate future research collaborations. We are planning to have two one-hour overview talks as well as contributed conference-style talks. In particular, the meeting will also provide an opportunity to rehearse and get feedback for upcoming conference talks.
Lunch and refreshments will be provided throughout the day.
This meeting is organised by Philippa Gardner (Imperial), Christoph Haase (UCL) and Azalea Raad (Imperial).
Sign-up
To indicate that you are planning to come, please complete this form.
Timetable
TBA
Acknowledgements
This meeting will receive support through the ERC project ARiAT and the UK Research Institute in Verified Trustworthy Software Systems.