John Wickerson, Azalea Raad, Philippa Gardner and Andreas Lööw are the organisers of this year’s UK Concurrency Workshop. which will be held on 11-12 August 2022 at the Isaac Newton Institute (INI) in Cambridge.
This will be the final event in the Verified Software programme that has been running at the institute this summer.
The two-day meeting aims to bring together researchers from the UK and elsewhere, who are working on the theory of concurrency and related areas. The talks will cover a wide range of research at various stages of development (work-in-progress, mature projects, and anywhere in-between) are welcome. The workshop is free to attend in person and virtually.