diff --git a/2017-04-28-FSEN.md b/2017-04-28-FSEN.md new file mode 100644 index 0000000000000000000000000000000000000000..adaed365720819cb6bdf0a6416e4ab8a5b9b1f87 --- /dev/null +++ b/2017-04-28-FSEN.md @@ -0,0 +1,15 @@ +--- +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. +