Skip to content
Snippets Groups Projects
Commit 03c25bfd authored by Thomas Wood's avatar Thomas Wood
Browse files

Fix syntax for image inclusion. Rescale image down to 500px wide.

parent c6e8fb84
No related branches found
No related tags found
No related merge requests found
......@@ -73,7 +73,7 @@ GEM
namae (0.11.3)
nokogiri (1.6.8.1)
mini_portile2 (~> 2.1.0)
parallel (1.9.0)
parallel (1.10.0)
pathutil (0.14.0)
forwardable-extended (~> 2.6)
pry (0.10.4)
......
......@@ -5,4 +5,4 @@ Andrea Cerone was invited to attend the seminar on [Concurrency with Weak Memory
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’
[![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
![Andrea Cerone at Dagstuhl with former colleague Giovanni Bernardi](/images/posts/Dagstuhl-Seminar-16.png)
images/posts/Dagstuhl-Seminar-16.png

1.69 MiB | W: | H:

images/posts/Dagstuhl-Seminar-16.png

309 KiB | W: | H:

images/posts/Dagstuhl-Seminar-16.png
images/posts/Dagstuhl-Seminar-16.png
images/posts/Dagstuhl-Seminar-16.png
images/posts/Dagstuhl-Seminar-16.png
  • 2-up
  • Swipe
  • Onion skin
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment