Skip to content
Snippets Groups Projects
Commit bbd9a165 authored by Teresa Carbajo-Garcia's avatar Teresa Carbajo-Garcia
Browse files

Update 2016-11-23-dagstuhl.md

parent cf0f9f7d
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2016-11-23-dagstuhl.md
+ 2
− 2
View file @ bbd9a165
---
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.
![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)
![Andrea Cerone at Dagstuhl with former colleague Giovanni Bernardi](/images/posts/Dagstuhl-Seminar-16.png)
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,
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment