Add new file

_posts/2016-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 a very engaged Iranian and international audience of researchers, 
+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.