From d7b712111ebb03b1c15a335f3a15ac9095184861 Mon Sep 17 00:00:00 2001 From: Shale XIONG <shalexiong@dyn1174-170.wlan.ic.ac.uk> Date: Fri, 5 May 2017 15:19:34 +0100 Subject: [PATCH] clear up --- 2017-04-28-FSEN.md | 15 --------------- 1 file changed, 15 deletions(-) delete mode 100644 2017-04-28-FSEN.md diff --git a/2017-04-28-FSEN.md b/2017-04-28-FSEN.md deleted file mode 100644 index adaed36..0000000 --- a/2017-04-28-FSEN.md +++ /dev/null @@ -1,15 +0,0 @@ ---- -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