diff --git a/_posts/2016-11-23-dagstuhl.md b/_posts/2016-11-23-dagstuhl.md index fc4b93d1be20dfdca338809ea00313eb3dddaf21..7e4ef850ebb4399a5ba64c663123f36fa2c9fb2f 100644 --- a/_posts/2016-11-23-dagstuhl.md +++ b/_posts/2016-11-23-dagstuhl.md @@ -1,7 +1,8 @@ --- title: Talk at Dagstuhl Seminar on Concurrency with Weak Memory Models. --- -Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory Models](http://www.dagstuhl.de/en/program/calendar/semhp/?semnr=16471) held at Schloss Dagstuhl last week. +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, -as well as static analysis techniques for the analysis of programs. Andrea Cerone gave a talk on ‘Analyzing Snapshot Isolation’ \ No newline at end of file +as well as static analysis techniques for the analysis of programs. Andrea Cerone gave a talk on ‘Analyzing Snapshot Isolation’ +[![Andrea-Cerone-at-Dagstuhl-with-former-colleague-Giovanni-Bernardi https://gitlab.doc.ic.ac.uk/resource-reasoning/psvg.doc.ic.ac.uk/blob/master/images/posts/Dagstuhl-Seminar-16.png) \ No newline at end of file