Update 2016-11-23-dagstuhl.md

_posts/2016-11-23-dagstuhl.md

 ---
-title: Talk at Seminar on Concurrency with Weak Memory Models at Dagstuhl
+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,