diff --git a/_posts/2017-05-08-aarhus.md b/_posts/2017-05-08-aarhus.md index 939861d2a41a9b2a79c6b145d1d461528ad79e91..a2e39dc14d8eee3e87e69ab7ced764844ff6f0f4 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