diff --git a/_posts/2016-11-23-dagstuhl.md b/_posts/2016-11-23-dagstuhl.md index 885949ba1ca51d024a6fff8e0f1a14e6eef14e58..fc4b93d1be20dfdca338809ea00313eb3dddaf21 100644 --- a/_posts/2016-11-23-dagstuhl.md +++ b/_posts/2016-11-23-dagstuhl.md @@ -4,5 +4,4 @@ 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. 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’ \ No newline at end of file