diff --git a/_posts/2017-04-28-fsen.md b/_posts/2017-04-28-fsen.md index 309f0b17f9c37f04b75976d6ae0a6db8a4487334..0876bfb7eff4961820fc164981903cd0c5b1afa5 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. + 