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

Update 2017-09-22-fmats5.md

parent 52ac07c8
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
_posts/2017-09-22-fmats5.md
+ 1
− 1
View file @ 951fba43
......@@ -7,7 +7,7 @@ The workshop, now on its fifth year, was attended by researchers, PhD students,
with a common interest in formal methods and verification.
![FMATS5 Welcome session](images/posts/Welcome-to-FMATS5-768x488.png)
![FMATS5 Welcome session](/images/posts/Welcome-to-FMATS5-768x488.png)
The programme included 19 specialist talks, poster presentations and a session of short talks for PhD students,
......
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