From cf2f2b0e7e20d2c5d32ab95cda9c92b42f3e88ce Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Tue, 26 Jul 2022 20:57:46 +0000 Subject: [PATCH] Update 2022-06-26-concurrency.md --- _posts/2022-06-26-concurrency.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/_posts/2022-06-26-concurrency.md b/_posts/2022-06-26-concurrency.md index ece3e1e..527f6ee 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. -- GitLab