From ae5b4a056396097291d1e2925ee37d483a7042d4 Mon Sep 17 00:00:00 2001 From: Teresa Carbajo-Garcia <t.carbajo-garcia@imperial.ac.uk> Date: Fri, 5 May 2017 13:24:53 +0100 Subject: [PATCH] Add new file --- 2017-04-28-FSEN.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 2017-04-28-FSEN.md diff --git a/2017-04-28-FSEN.md b/2017-04-28-FSEN.md new file mode 100644 index 0000000..adaed36 --- /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. + -- GitLab