Write a Blog >>
PLDI 2017
Sun 18 - Fri 23 June 2017 Barcelona, Spain

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 the powerful formal techniques emerging in security. The goal of this workshop is to bring together researchers from both communities in order to have them learn about the important problems and relevant techniques in each field, to foster collaboration leading to applying “cutting edge” formal techniques in security. We will have no refereed papers, but have invited talks from people who have successfully bridged these fields and on topics that highlight important problems in security (systems security, information security, malware, etc.) that could benefit from formal techniques (programming language paradigms, verification, model-checking, efficient constraint solving, synthesis, etc.). We will also have panel discussions and breakout brainstorming sessions that focus on particular classes of problems. We also plan to invite program managers that fund efforts in these fields for their perspective on important problems that can be solved by a synergy of these fields.

Call for Papers

Coming soon.