diff --git a/_posts/2022-06-26-concurrency.md b/_posts/2022-06-26-concurrency.md index ece3e1ef261ff886a3603dfe84ef7b076bb9d47c..527f6eeea5ecd4599ce49d76c0c49ba849e735d5 100644 --- a/_posts/2022-06-26-concurrency.md +++ b/_posts/2022-06-26-concurrency.md @@ -2,7 +2,7 @@ title: Concurrency meeting at the Isaac Newton Institute (INI) in Cambridge, 11-12 August 2022 --- -[John Wickerson](https://johnwickerson.github.io), [Azalea Raad]( https://www.soundandcomplete.org), Philippa Gardner and [Andreas Lööw]( https://www.doc.ic.ac.uk/~aloow/) are the organisers of this year’s [UK Concurrency Workshop](https://johnwickerson.github.io/cw2022.html).which will be held on 11-12 August 2022 at the [Isaac Newton Institute (INI)](https://www.newton.ac.uk)in Cambridge. +[John Wickerson](https://johnwickerson.github.io), [Azalea Raad]( https://www.soundandcomplete.org), Philippa Gardner and [Andreas Lööw]( https://www.doc.ic.ac.uk/~aloow/) are the organisers of this year’s [UK Concurrency Workshop](https://johnwickerson.github.io/cw2022.html).which will be held on 11-12 August 2022 at the [Isaac Newton Institute (INI)](https://www.newton.ac.uk) in Cambridge. This will be the final event in the [Verified Software programme](https://www.newton.ac.uk/event/vso2/) that has been running at the institute this summer.