diff --git a/_posts/2016-11-23-Dagstuhl.md b/_posts/2016-11-23-Dagstuhl.md new file mode 100644 index 0000000000000000000000000000000000000000..efc30c587d6a3ae88eb583f3f29ff1514c0d7caf --- /dev/null +++ b/_posts/2016-11-23-Dagstuhl.md @@ -0,0 +1,5 @@ +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’ +[