CFP: 7th International Workshop on Foundations and Techniques for
Open Source Software Certification (OpenCert 2013)
*******************************************************************

7th International Workshop on Foundations and Techniques for
Open Source Software Certification (OpenCert 2013),
Monday 23 September 2013, Madrid, Spain
http://opencert.iist.unu.edu

at the

11th International Conference on
Software Engineering and Formal Methods (SEFM 2013),
September 25-27, 2013, Madrid, Spain
http://antares.sip.ucm.es/sefm2013

*******************************************************************
Context / Objectives

Over the past decade, the Open Source Software (OSS) phenomenon has
had a global impact on the way software systems and software-based
services are developed, distributed and deployed. Widely acknowledged
benefits of OSS include reliability, low development and maintenance
costs, as well as rapid code turnover. Linux distributions, Apache
and MySQL server, and Moodle LMS are, among many other examples, a
testimony to its success and resilience.

However, state-of-the-art OSS, by the very nature of its open,
unconventional, distributed development model, makes software quality
assessment, let alone full certification, particularly hard to achieve
and raises important challenges both from the technical/methodological
and the managerial points of view. This makes the use of OSS, and, in
particular, its integration within complex industrial-strength
applications, with stringent security requirements, a risk but also an
opportunity and a challenge for rigorous methods in software analysis
and engineering.

Moreover, OSS communities are, at heart, learning communities formed
by people that share the same values, passion, and interest for software
development. From this perspective, OSS is the product of a highly
diverse, highly distributed collaboration effort. Looking through the
glass, the multifaceted aspects of these dynamically evolving, loosely
structured OSS communities require an expansion of the typical
certification process, beyond traditional frameworks and towards a
multidisciplinary approach that would take into account, not only
technical, but also social, psychological, and educational aspects at
individual and community level. Such a certification process could
potentially increase participation and enhance visibility.

In such a context, the aim of this workshop is to bring together
researchers from Academia and Industry who are broadly interested in
(a) the quality assessment of OSS projects, and (b) metrics, procedures,
and tools that could be useful in assessing and qualifying individual
participation and collaboration patterns in OSS communities.

Contributions to the workshop are expected to present foundations,
methods, tools and case studies that use and possibly integrate technique
from different areas such as:

- product and process certification;
- formal modelling;
- formal verification: model checking and theorem proving;
- reverse engineering;
- static analysis, testing and inspection;
- safety, security and usability analysis;
- language design and evolving systems;
- automated source code analyses;
- software evolution and reconfigurability;
- data mining and text mining;
- ontology engineering;
- knowledge management;
- cloud computing;
- analytical models for the OSS development process;
- social constructivism in OSS communities;
- OSS communities as peer-production models;
- collaborative learning and OSS communities;
- action research;
- empirical studies.

*******************************************************************
-Important Dates-

Paper submission deadline: 23 June 2013 (*extended*)
Notification of acceptance/rejection: 20 July 2013
Camera-ready copy for pre-proceedings: 6 Sept 2013
Camera-ready copy for post-proceedings: 15 Oct 2013
Workshop date: 23 September 2013

We encourage the pre-submission of title and abstract by
8 June 2013 (not mandatory)

*******************************************************************
-Information to authors-

Authors are invited to submit, via Easychair
(https://www.easychair.org/account/signin.cgi?conf=opencert2013),
English-language research contributions or experience reports.

There are two categories of submissions

* Short papers: up to 6 pages for submission
(and up to 8 pages for post-proceedings camera-ready).

* Regular papers: between 12 and 16 pages for submission
(and between 12 and 18 pages for post-proceedings camera-ready).

The program committee may reject papers that are outside these lengths on the
grounds of length alone. Submissions have to be prepared using LNCS style.
Submitted papers will be refereed for quality, correctness, originality, and
relevance. Notification and reviews will be communicated via email.
Accepted papers will be included in the workshop programme and will appear
in the workshop pre-proceedings.

Accepted regular papers and a selection of accepted short papers will be
published after the Workshop by Springer in a volume of Lecture Notes in Computer
Science (http://www.springer.com/lncs), which will collect contributions to
some workshops and symposia co-located with SEFM 2013. Condition for inclusion
in the post-proceedings is that at least one of the co-authors has presented the
paper at the Workshop. Pre-proceedings will be available online before the
Workshop.

A special issue with selected papers may be planned, depending on the number and
quality of submissions.

*******************************************************************
-Organising Committee-

Luis S. Barbosa
Dep Informatics
Universidade do Minho
Campus de Gualtar
4710-057 Braga - Portugal
Email: lsb@di.uminho.pt

Antonio Cerone
UNU-IIST
PO Box 3058
Macau SAR China
Ph.: +853-2871-2930
Fax: +853-2871-2940
Email: antonio@iist.unu.edu

*******************************************************************

-Program Committee-

- Pantelis M. Papadopoulos, UNU-IIST, Macau SAR, China (PC co-chair)
- Bruno Rossi, Free University of Bozen-Bolzano, Italy (PC co-chair)
- Bernhard Aichernig, Technical University of Graz, Austria
- Luis Barbosa, University of Minho, Portugal
- Jaap Boender, Middlesex University London, UK
- Peter Breuer, University of Birmingham, UK
- Andrea Capiluppi, Brunel University, UK
- Antonio Cerone, UNU-IIST, Macau SAR, China
- Stavros Demetriadis, Aristotle University of Thessaloniki, Greece
- Yannis Dimitriadis, University of Valladolid, Spain
- Gabriella Dodero, Free University of Bozen-Bolzano, Italy
- George Eleftherakis, CITY College, Greece
- Jose Emilio Labra Gayo, University of Oviedo, Spain
- Fabrizio Fabbrini, ISTI-CNR, Italy
- Joao F. Ferreira, Teesside University, UK
- Jesus Arias Fisteus, Carlos III University of Madrid, Spain
- Imed Hammouda, Tampere University of Technology, Finland
- Maria Joao Frade, University of Minho, Portugal
- Andreas Karatsolis, Carnegie Mellon University in Qatar, Qatar
- Paddy Krishnan, Oracle Labs, Australia
- Thomas Lagkas, CITY College, Greece
- Martin Michlmayr, University of Cambridge, UK
- Paolo Milazzo, University of Pisa, Italy
- Jose Miranda, MULTICERT S.A., Portugal
- John Noll, Lero - the Irish Software Engineering Research Centre, Ireland
- David von Oheimb, Siemens AG, Germany
- Jose Nuno Oliveira, University of Minho, Portugal
- Alexander K. Petrenko, ISP RAS, Russia
- Simon Pickin, Universidad Complutense de Madrid, Spain
- Dirk Riehle, University of Erlangen-Nurnberg, Germany
- Gregorio Robles, King Juan Carlos University, Spain
- Alejandro Sanchez, Universidad Nacional de San Luis, Argentina
- Siraj Ahmed Shaikh, Coventry University, UK
- Ioannis Stamelos, Aristotle University of Thessaloniki, Greece
- Ralf Treinen, Paris Diderot University, France
- Tanja Vos, Polytechnic University of Valencia, Spain
- Tony Wasserman, Carnegie Mellon Silicon Valley, USA

*******************************************************************