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.

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.