diff --git a/_posts/2017-09-22-fmats5.md b/_posts/2017-09-22-fmats5.md index ff2808e5d2038c11eeb08dee1221639d7d4771fd..5d0edabc4b3c95393416215eb832bf01d8267521 100644 --- a/_posts/2017-09-22-fmats5.md +++ b/_posts/2017-09-22-fmats5.md @@ -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. - + The programme included 19 specialist talks, poster presentations and a session of short talks for PhD students,