The aim of this joint workshop is to bring together researchers from academia and industry who are broadly interested in (1) the quality assessment of open source projects, ultimately leading to the establishment of a complete certification process; (2) the application of open source technologies and techniques to the Formal Methods world, and conversely, in developing formal methods for use in conjunction with open source projects.
Over the last decade, the importance of open source software has increased dramatically, some of the reasons behind the increase being:
Moreover, open source development brings novel sociological and economic advances, notably collaborative context and worth based on availability rather than exclusivity. Formal Methods developers have as much to gain as anyone from this changing socio-economic landscape.
Yet other characteristics of open source software - its pervasiveness, an unconventional development model, the permanent public availability of legacy code, rapid evolution, mean that
and thus open source software is not only an opportunity but also a challenge for Formal Methods practitioners. It can appear a risk in the security-sensitive domains that traditionally have been the preserve of Formal Methods.
A standard approach to reducing such a risk is to establish an independent certification process. However, today we lack standards and methods by which to certify the quality of open source software.
The FLOSS-FM part of the joint workshop will treat themes which deal with the conjunction of open source software and Formal Methods in any way, such as the development of formal methods tools via or incorporating open source software, or formal methods aimed at open source, or models and techniques that treat of the two areas in synergy with each other. The OpenCert part of the joint workshop will focus in particular on model-based techniques and formal methods that appear promising for the facilitation of open source certification, as well as on any empirical studies .
We will accept both foundational papers and practical reports, including case studies. Areas to address include:
which aim to overcome the challenges to assessment and certification for open source software or the secure application of open source techniques to Formal Methods.
The one-day workshop will feature keynote speakers and contributed paper presentations. All submitted papers will undergo a peer-review process. Accepted papers will be electronically published with ISBN number. Detailed information on the submission procedure will be available on the conference website. Publication of a selection of the papers in a special issue of a journal is also under consideration.
Papers not specifically directed to one of FLOSS-FM or OpenCert will be assigned by the Program Committee to one or the other.
Submissions to the joint workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Papers should be written in English and not exceed 16 pages and prepared using the format available at
Papers must be submitted electronically via:
All enquiries should be sent to one of (these list addresses have the same recipients):
|Luis Barbosa||University of Minho, Portugal|
|Peter Breuer||University of Birmingham, UK|
|Antonio Cerone||United Nations University, Macau SAR China|
|Simon Pickin||University Carlos III of Madrid, Spain|