News
-
Formal Methods Meets JavaScript Workshop
On Monday 19th March we hosted the Formal Methods Meets JavaScript Workshop, an all day meeting with research talks on Programming Languages Formal Methods.
-
PhD position available, start date in October 2018
I am looking for a PhD student to start in October 2018 to join my research group on program analysis and specification, as part of the analysis and verification theme at Imperial.
-
Visitor to the group, Siddharth Krishna, New York University, USA
Siddharth Krishna, from the Courant Institute of Mathematical Sciences, NYU, visited the group this week to talk about his work on the verification of concurrent data structures.
-
Visitor to the group, Giovanni Bernardi, IRIF, Paris
Dr Giovanni Bernardi of Paris Diderot University / IRIF visited the group in November to give a talk on his current work on must- testing for message passing concurrency.
-
Paper accepted at POPL 2018
Philippa Gardner, José Fragoso Santos, Petar Maksimović, Daiva Naudžiūnienė and Thomas Wood have had a paper accepted at this year’s ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2018).
-
Fifth Workshop on Formal Methods and Tools for Security (FMATS5)
Almost a hundred participants attended this year’s FMATS, held at Microsoft Research Cambridge on 21-22 September 2017.
-
Keynote speaker, DFG Priority Program Reliably Secure Software Systems (RS3).
Philippa Gardner gave a keynote talk entitled Trustworthy Software Specification at the final event of the DFG-funded national research initiative “Reliably Secure Software Systems (RS3)”.
-
Invited talk, 26th International Conference on Automated Reasoning (CADE).
Philippa Gardner was one of the invited speaker at this year’s CADE conference, which was held in Gothenburg, Sweden, on 6-11 August 2017.
-
Invited talk at the Ecma TC39 meeting, Google, New York
Philippa Gardner was one of the invited speakers at the TC39 – ECMAScript Task group standards committee meeting held at Google, New York, this May.
-
Talk at Shapiro’s RainbowFS Workshop on Consistency in Distributed Systems, LIP6, Paris
Philippa Gardner gave a talk on ‘A Concurrent Specification of PoSIX’ at the open workshop “Consistency in distributed storage”. organised by Marc Shapiro (UPMC-LIP6 and Inria).
-
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.
-
Invited speaker at Colloquium d'Informatique, Université Pierre et Marie Curie, Paris
Philippa Gardner was the invited speaker at the March 17 edition of the Colloquium d’Informatique de L’UPMC Sorbonne Universités.
-
National Cyber Security Centre (NCSC) official opening
Philippa Gardner attended the official opening by the Queen of the National Cyber Security Centre’s new headquarters in London.