From 483a1ea51219d34cfb9ff7b45299aa1e74bfc529 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 5 May 2017 13:05:05 +0100 Subject: [PATCH] Update 2016-04-28-fsen.md --- _posts/2016-04-28-fsen.md | 1 + 1 file changed, 1 insertion(+) diff --git a/_posts/2016-04-28-fsen.md b/_posts/2016-04-28-fsen.md index 92499c7..1bb580d 100644 --- a/_posts/2016-04-28-fsen.md +++ b/_posts/2016-04-28-fsen.md @@ -10,3 +10,4 @@ engineers, developers and practitioners from academia and industry. The talk was 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