diff --git a/_posts/2016-11-23-dagstuhl.md b/_posts/2016-11-23-dagstuhl.md index c84937c665fd793e31325687b2b6867852d42711..37cd178cb81cb9101c148ec5acd91384e57fd24f 100644 --- a/_posts/2016-11-23-dagstuhl.md +++ b/_posts/2016-11-23-dagstuhl.md @@ -1,10 +1,10 @@ --- -title: Talk at Dagstuhl Seminar. +title: Talk at Dagstuhl Seminar --- Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory Models](http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=16471) at Schloss Dagstuhl last week. - + The seminar covered a wide range of topics, including fundamental results in the theory underlying weak memory models, applications in the fields of hardware architectures, compiler optimisations and transactional systems,