From ac2dd14cd0af75deac6840d50fb9717c8291e312 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 5 May 2017 16:05:58 +0100 Subject: [PATCH] Update 2017-04-28-fsen.md --- _posts/2017-04-28-fsen.md | 1 + 1 file changed, 1 insertion(+) diff --git a/_posts/2017-04-28-fsen.md b/_posts/2017-04-28-fsen.md index 309f0b1..0876bfb 100644 --- a/_posts/2017-04-28-fsen.md +++ b/_posts/2017-04-28-fsen.md @@ -12,4 +12,5 @@ followed by a lively Q&A session. FSEN is an international conference dedicated to formal methods for software engineering, especially those related to advancing the application of formal methods in the software industry and promoting their integration with practical engineering techniques. +  -- GitLab