Photo taken by Jorge Láscar, published under a CC BY 2.0 license

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.

We acknowledge financial support from the ERC.
We acknowledge financial support from the UK Research Institute in Verified Trustworthy Software Systems.