diff --git a/_posts/2017-09-22-fmats5.md b/_posts/2017-09-22-fmats5.md index 05fa301542059c82356af3e1ffa5737170cea908..ff2808e5d2038c11eeb08dee1221639d7d4771fd 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,