From 0f2e7ca8ef02af9dbdd7469700990a31e480f14c Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 16 Jun 2017 15:56:17 +0100 Subject: [PATCH] Update 2017-05-08-aarhus.md --- _posts/2017-05-08-aarhus.md | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-) diff --git a/_posts/2017-05-08-aarhus.md b/_posts/2017-05-08-aarhus.md index 939861d..a2e39dc 100644 --- a/_posts/2017-05-08-aarhus.md +++ b/_posts/2017-05-08-aarhus.md @@ -5,8 +5,13 @@ title: Visit to Aarhus University and Aarhus Concurrency Workshop Philippa Gardner, Azalea Raad, Andrea Cerone and Emanuele D'Osualdo will be attending the [Aarhus Concurrency Workshop on Concurrency Theory](http://conferences.au.dk/acw/) and related topics at the end of month. This year's workshop is organised by [Thomas Dinsdale-Young](http://cs.au.dk/~tyoung/), who was previously a PhD and PostDoc with Philippa. -Andrea Cerone will give a talk on [Algebraic Laws for Weak Consistency](http://conferences.au.dk/acw/abstracts/). The workshop will take place at the Department of Computer Science at [Aarhus University](http://cs.au.dk/research/) on May 30 and 31 and -is the latest in a series previously held at University of Kent, Imperial College London, York, University of Oxford, -Trinity College Dublin, Cambridge University, Newcastle, and Queen Mary. +Andrea Cerone will give a talk on [Algebraic Laws for Weak Consistency](http://conferences.au.dk/acw/abstracts/). +The workshop will take place at the Department of Computer Science +at [Aarhus University](http://cs.au.dk/research/) on May 30 and 31 and +is the latest in a series previously held at [University of Kent](https://www.cs.kent.ac.uk/events/kcw/), +[Imperial College London](http://multicore.doc.ic.ac.uk/icw2015/), [The University of York](https://www-users.cs.york.ac.uk/~miked/ycw2014/), +[University of Oxford](http://www.cs.ox.ac.uk/people/hongseok.yang/ccw12/index.html), [Trinity College Dublin](https://www.scss.tcd.ie/Vasileios.Koutavas/dcw2011/), +[Cambridge University](https://www-users.cs.york.ac.uk/~miked//ccw2010/index.html), Newcastle, +and [Queen Mary}(https://web.archive.org/web/20100606005049/http://www.eecs.qmul.ac.uk/~ohearn/Workshops/Concurrency09/). Aarhus is the second largest city in Denmark and is one of the 2017 [European Capitals of Culture](http://www.aarhus2017.dk/en/). \ No newline at end of file -- GitLab