diff --git a/_posts/2016-04-28-fsen.md b/_posts/2016-04-28-fsen.md index 92499c70ec1c018aa813f34707027c281fd7d71c..1bb580dc460e4234a9bd4cbab84b717e48f6b1e5 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. +