diff --git a/_posts/2017-05-08-aarhus.md b/_posts/2017-05-08-aarhus.md index 74336d38432ce228a40ec874b585c2e9b4cf8c59..6f914af99eb9ccc38ec5c639c8a0785ed1496995 100644 --- a/_posts/2017-05-08-aarhus.md +++ b/_posts/2017-05-08-aarhus.md @@ -1,3 +1,13 @@ --- -title: ----- \ No newline at end of file +title: Visit to Aarhus University and Aarhus Concurrency Workshop, 30-31 May +--- + +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. +The workshop will take place at the Department of Computer Science at Aarhus University 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. + +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/). + +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