FMS
Mon 18 - Fri 22 June 2018 Philadelphia, Pennsylvania, United StatesFMS 2018 with PLDI 2018While 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 StatesFMS with PLDI 2016While 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 ... |