diff --git a/_posts/2016-04-28-fsen.md b/_posts/2016-04-28-fsen.md new file mode 100644 index 0000000000000000000000000000000000000000..92499c70ec1c018aa813f34707027c281fd7d71c --- /dev/null +++ b/_posts/2016-04-28-fsen.md @@ -0,0 +1,12 @@ +--- +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.