FMS 2018
co-located with PLDI 2018
Conference Editions
Mon 18 - Fri 22 June 2018, Philadelphia, Pennsylvania, United States

FMS 2018 with PLDI 2018

While the fields of security and privacy and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in the real world to ensure security and privacy. The goal of this workshop is to bring together researchers fro ...

Mon 13 - Fri 17 June 2016, Santa Barbara, California, United States

FMS with PLDI 2016

While the fields of security and of formal methods/programming languages are thriving areas of computer science, the communities are mostly disjoint, and though there are several formal techniques used for ensuring security, there is no systematic use of emerging powerful formal techniques in security. The goal of this workshop is to bring together researchers from both communities in order to have them learn ab ...