Keynote address at IPM FSEN Conference 2017, Iran

Philippa Gardner was one of the keynote speakers at the 7th IPM International Conference on Fundamentals of Software Engineering (FSEN 2017) held in Tehran, Iran.

Due to a delay in the processing of the visa, Philippa’s talk, “Understanding and Verifying JavaScript Programs” was delivered by video link instead, 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.

Poster of FSEN2017