Thursday 11 ‐ Friday 12 August 2022
This two-day meeting is the closing event of a series of summer events on Verified Software hosted at the Isaac Newton Institute. It aims to bring together researchers, from the UK and elsewhere, who are working on the theory of concurrency and related areas.
Isaac Newton Institute (INI), Cambridge, England
Registration is free. Please email Teresa Carbajo Garcia by Tuesday 2 August 2022 if you'd like to attend.
(Updated with links to the YouTube recordings.)
Alasdair Armstrong • Rini Banerjee • Adam Barwell • Mark Batty • Luke Cheeseman • Jianyi Cheng • Sylvan Clebsch • Simon Cooksey • Brijesh Dongol • Stephen Ellis • Estibaliz Fraca • Philippa Gardner • Lorenzo Gheri • Akshay Gopalakrishnan • Angus Hammond • Ian Hayes • Yann Herklotz Grave • Shahin Honarvar • Ping Hou • Cliff Jones • Ilya Kaysin • Neel Krishnaswami • He Li • Andreas Loow • Daniele Nantes • Matthew Parkinson • Christopher Pulte • Azalea Raad • Kashish Raimalani • Xiaojia Rao • Matteo Sammartino • Mikhail Semenyuk • Peter Sewell • Thomas Sewell • Zhong Shao • Ben Simner • Viktor Vafeiadis • Martin Vassor • Conrad Watt • John Wickerson • Thomas Wies • Matt Windsor • Glynn Winskel • Shale Xiong • Nobuko Yoshida • Fangyi Zhou
Further announcements will be made via the Concurrency Working Group mailing list. Please subscribe by following the link above and clicking Subscribe or Unsubscribe, and do encourage any other interested parties to do the same.