clear up

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 
-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)