diff --git a/_posts/2017-04-28-fsen.md b/_posts/2017-04-28-fsen.md index 4045031d47d875b08c513c2c6e6ec625094fef2a..309f0b17f9c37f04b75976d6ae0a6db8a4487334 100644 --- a/_posts/2017-04-28-fsen.md +++ b/_posts/2017-04-28-fsen.md @@ -1,15 +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 +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. - + +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. + diff --git a/images/posts/fsen-17.png b/images/posts/fsen-17.jpg similarity index 100% rename from images/posts/fsen-17.png rename to images/posts/fsen-17.jpg