From: OpenCert 2014 CfP <[email protected]>
Date: Fri, Jun 13, 2014 at 8:51 PM
Subject: OpenCert 2014 CfP (deadline 27th june)
To: [email protected]
Call for Papers
OpenCert 2014
8th International Workshop on Foundations and Techniques for
OPEN SOURCE SOFTWARE CERTIFICATION
Grenoble, France, 1 September 2014
Co-located with SEFM 2010
http://www.di.unipi.it/opencert/workshop-2014/
Submission deadline: 27 June, 2014
BACKGROUND AND 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, the multifaceted aspects of OSS communities require an
expansion of the certification process beyond traditional frameworks
and requires a multidisciplinary approach, that involve not only
technical aspects of the development, but also social, psychological
and educational aspects of the communities.
In such a context, following the success of the seven previous
editions the aim of this workshop is to bring together researchers
from Academia and Industry who are broadly interested in:
1. the quality assessment of OSS projects, and
2. metrics, procedures, and tools that could be useful in
assessing and qualifying individual participation and
collaboration patterns in OSS communities.
CONTRIBUTIONS
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.
SUBMISSION
Authors are invited to submit, via Easychair, research contributions
or experience reports. All papers should be written in English and
prepared using the specific LNCS templates available at
http://www.springer.de/comp/lncs/authors.html.
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. Submitted papers will be refereed for
quality, correctness, originality, and relevance. Each paper will be
reviewed by three Program Committee members. 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. Pre-proceedings will be available online before the
Workshop.
Easychair submission page:
https://www.easychair.org/conferences/?conf=opencert2014
PUBLICATION
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 2014. Condition for inclusion in the post-proceedings is that at
least one of the co-authors has presented the paper at the Workshop.
A special issue with selected papers may be planned, depending on the
number and quality of submissions.
IMPORTANT DATES
- Paper Submission deadline: Friday 27 June 2014
- Accept/Reject Notification: Friday 15 July 2014
- Early Registration Notification: Tuesday 18 July 2014
- Pre-proceedings Final version due: Thursday 5 August 2014
- Post-proceedings Final version due: Monday 15 September 2014
PROGRAM COMMITTEE
B. Aichernig, Graz, Austria
L. Barbosa, Minho, Portugal
A. Bessani, Lisbon, Portugal
P. Breuer, Birmingham, UK
A. Cerone, Pisa, Italy
Y. Dimitriadis, Valladolid, Spain
F. Fabbrini, SSE ISTI - CNR, Italy
J. Fisteus, Madrid Carlos III, Spain
V. Fonte, Minho, Portugal (co-chair)
M. J. Frade, Minho, Portugal
P. Krishnan, Oracle, Australia
I. Hammouda, Chalmers/Gottenburg, Sweeden
A. Madeira, HASLab INESC TEC, Portugal
P. Milazzo, Pisa, Italy
J. Noll, LERO, Ireland
A. Petrenko, ISP-RAS, Russia
S. Pickin, Universidad Completense de Madrid, Spain
M. Rio, University College London, UK
G. Robles, Madrid Rey Juan Carlos, Spain
B. Rossi, Masaryk, Czech Republic
A. Sanchez, San Luis, Argentina
S. Shaikh, Coventry, UK (co-chair)
I. Stamelos, Thessaloniki, Greece
R. Treinen, PPS/Paris Diderot, France
A. Wasserman, CMU, USA
CONTACTS
[email protected]
WEB
http://www.di.unipi.it/opencert/workshop-2014/
--
-------------------
Prabin Gautam
--
--
FOSS Nepal mailing list: [email protected]
http://groups.google.com/group/foss-nepal
To unsubscribe, e-mail: [email protected]
Mailing List Guidelines:
http://wiki.fossnepal.org/index.php?title=Mailing_List_Guidelines
Community website: http://www.fossnepal.org/
---
You received this message because you are subscribed to the Google Groups "FOSS
Nepal" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to [email protected].
For more options, visit https://groups.google.com/d/optout.
