7th International Workshop on Foundations and Techniques for Open Source Software Certification (OpenCert 2013), Monday 23 September 2013, Madrid, Spain

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: 15 June 2013
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-Nürnberg, 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