Formal Methods on Privacy

The first Workshop for Formal Methods on Privacy will be held in Limassol, Cyprus as an event part of the FM 16 symposium.

Individual privacy is a fundamental notion in society today. The recent development of large scale information systems, such as social networks, large databases that store private data, and network applications, presents new challenges in the preservation of individual privacy. The current methods that ensure privacy in information systems are considered as partial and unsatisfactory, a fact that creates societal and legal implications on system managers and users. Thus, research on privacy and its implications inside computer systems is considered today a necessity. Formal methods are known to provide solutions for problem in a rigorous and well formed discipline. In the context of privacy, formal methods aim to establish well founded techniques for the analysis of privacy requirements in modern systems that aggregate private information.

The formal methods on privacy workshop explicitly focuses on formal foundations for privacy inside information systems. It is an opportunity for researchers to exchange their specific ideas within a narrower and interested audience, with the goal of creating new ideas and future collaboration. Furthermore, the workshop aims to promote the topic of applying formal methods for privacy, as a high impact topic.

Call for Papers

(Full and short papers, and extended abstracts are accepted)

We invite authors to submit full research papers describing original research and technical results. Extended abstracts that summarize research under development and new ideas are also welcome. Note that the workshop proceedings will only publish full research papers.


  • Principles of privacy in information systems
  • Computational models for privacy
  • Formal methods on privacy - includes logic foundations, type systems, validation and verification
  • Differential privacy
  • Cryptographic methods for privacy
  • Privacy in information systems - including social network, databases, network applications, \dots
  • The legal aspects of privacy in information systems

Submission Guidelines

High quality, original papers, max. 15 pages can be submitted. Short papers and extended abstracts up to 6 pages are also invited. Papers should be written in English and submitted electronically in PDF format. Please submit to: Easychair submission site
Please upload all submissions in LNCS format. To ensure high quality, submitted papers will be carefully peer-reviewed by PC members.

Proceedings and Post-proceedings

The proceedings of the Formal Methods and Privacy Workshop will be published initially as Technical Report at the Department of Computer Science of the University of Cyprus.

Important Dates

Submission deadline: 29 August 2016
Notification of acceptance: 26 September 2016
Camera-ready deadline: 10 October 2016

Program Committee


Petros Stefaneas, National Technical University of Athens, Greece
Dimitrios Kouzapas, University of Glasgow, UK


Maria Bottis, Ionian University, Greece
Christian Colombo, University of Malta, Malta
Simon J. Gay, University of Glasgow, UK
Silvia Ghilezan, University of Novi Sad, Serbia
Petros Kavassalis, University of Aegean, Greece
Dimitrios Kouzapas, University of Glasgow, UK
Tiziana Margaria, University Potsdam, Germany
Sotiris Moschoyiannis, University of Surrey, UK
Anna Philippou, University of Cyprus, Cyprus
Gerardo Schneider, University of Gothenburg, Sweden
Carsten Schürmamm, IT University of Copenhagen, Denmark
Petros Stefaneas, National Technical University of Athens, Greece