Rename fsen poster with correct extension

_posts/2017-04-28-fsen.md

 ---
 title: Keynote talk at the 7th IPM International Conference on Fundamentals of Software Engineering, Iran
 ---
-Philippa Gardner was one of the keynote speakers at the [7th IPM International Conference on Fundamentals 
+Philippa Gardner was one of the keynote speakers at the [7th IPM International Conference on Fundamentals
 of Software Engineering]( http://fsen.ir/2017/Default.aspx) (FSEN 2017) held in Tehran, Iran
- 
-Philippa’s talk, “Understanding and Verifying JavaScript Programs” was delivered 
-by video link to an engaged audience composed of Iranian and international researchers, 
-engineers, developers and practitioners from academia and industry. Her 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. 
-![Poster of FSEN2017](/images/posts/fsen-17.png)
+
+Philippa’s talk, “Understanding and Verifying JavaScript Programs” was delivered
+by video link to an engaged audience composed of Iranian and international researchers,
+engineers, developers and practitioners from academia and industry. Her 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.
+![Poster of FSEN2017](/images/posts/fsen-17.jpg)