[pyar] Fwd: CfP OpenCert 2011 (co-located with SEFM'11)

[Daniel Moisset]

Siendo que aca hay mucha gente involucrada en proyectos libres, mando esto
que les puede interesar. Creo que sería piola que no sea solo un evento
académico sino que haya gente de la comunidad aportando su visión

Saludos,
   D.

---------- Forwarded message ----------
From: SEFM'11 <sefm11 en easychair.org>
Date: Mon, Sep 26, 2011 at 8:16 AM
Subject: CfP OpenCert 2011 (co-located with SEFM'11)

--------------------------------------------------------------------------------
                                 Call for Papers

                                  OpenCert 2011

              5th International Workshop on Foundations and Techniques for
                       OPEN SOURCE SOFTWARE CERTIFICATION


                         Montevideo, Uruguay, 14-15 November 2011
                            Satellite Event of SEFM 2011


                            http://opencert.iist.unu.edu/


                    Abstract submission deadline: 26 September, 2011
(Extended)
                     Paper submission deadline: 3 October, 2011 (Extended)



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
serve, among many other examples, as a testimony to its success and
resilience.

However, state-of-the-art OSS, by the very nature of its open,
unconventional, distributed
development model, make 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, mathematically
based, methods in
software analysis and engineering.

In such a context, the aim of this workshop is to bring together
researchers from academia
and industry who are broadly interested in the quality assessment of
open source software
projects, ultimately leading to the establishment of coherent
certification processes,
at different levels.

Following the success of the four previous editions (collocated to
ETAPS'07, in Braga, OSS'08,
at IFIP WCC, in Milan, ETAPS'09 in York and SEFM 2010 in Pisa,
respectively), the workshop
will focus on formal methods and model-based techniques that appear
promising to facilitate
OSS certification. Foundational, methodological and pragmatic issues
will be addressed,
through both standard technical communications and reports on concrete
case-studies and
experimental data.


CONTRIBUTIONS

Contributions are expected to foster a broad debate on OSS assessment
and certification,
integrating techniques and elements from areas as different as

  - product and process certification
  - certification standards
  - formal modelling and verification (model checking and theorem proving)
  - software quality and reverse engineering
  - static analysis, testing and inspection
  - safety, security and usability certification
  - languages and architectures
  - software evolution and reconfigurability
  - automated source code analyses
  - cloud computing
  - knowledge management
  - empirical studies


SUBMISSION

The two-day workshop will feature invited talks, a panel discussion
and contributed
paper presentations.  All contributions, in the form of either full
technical papers,
between 10 and 16 pages, or short papers up to 5 pages, will undergo a
peer-review process.
All papers should be written in English and in ECEASST format.

Short papers can be positions papers, tool papers or presentation of
new ideas or results
which are at an early stage of development and which have not yet been
thoroughly evaluated.

Detailed information on the submission procedure is available at
opencert.iist.unu.edu.


PUBLICATION

Accepted full papers will be published in Electronic Communications of
the EASST (ECEASST).
Authors of short papers may resubmit a full paper version of their
work after the workshop,
which will be reviewed for inclusion in the ECEASST final proceedings.

Selected extended papers will be invited to appear in a special issue
of a reputed journal
in the field. A final decision on this issue depends on the number and
quality of the submissions.


IMPORTANT DATES

 - Abstract Submission deadline: 26 September 2011
 - Paper Submission deadline: 3 October 2011
 - Acceptance notification: 20 October 2011
 - Final version due: 31 October 2011


WORKSHOP ORGANIZATION

PROGRAM CO-CHAIRS
Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal
Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China

ORGANISATION CO-CHAIRS
Antonio Cerone,
Siraj Shaikh,

PROGRAM COMMITTEE
Luis Barbosa, Dep. de Informática, Universidade do Minho, Portugal
(Co-chair)
Andrea Capiluppi, University of East London, UK
Francisco Carvalho-Junior, Univ. Federal do Ceará, Brazil
Antonio Cerone,  UNU-IIST, United Nations University, Macau SAR China
Ernesto Damiani, Università di Milano, Italy
Roberto Di Cosmo, Université Paris Diderot / INRIA, France
Rafael Dueire Lins,  Univ. Federal de Pernambuco, Brazil
George Eleftherakis, CS Department, City College, Thessaloniki, Greece
Elsa Estevez, UNU-IIST, United Nations University, Macau SAR China
Fabrizio Fabbrini, ISTI-CNR, Italy
Andrei Formiga, Univ. Federal da Paraíba, Brazil
Dan Ghica, University of Birmingham, UK
Rene Rydhof Hansen, Aalborg University, Denmark
Mauro Jaskelioff, Universidad Nacional de Rosario, Argentina
Panagiotis Katsaros, Dept. of Informatics, Aristotle Univ. of
Thessaloniki, Greece
Tim Kelly, York University, UK
Paddy Krishnan, Bond University, Australia
Paolo Milazzo, Dipartimento di Informatica, Università  di Pisa, Italy
Jose Miranda, MULTICERT, Portugal
John Noll, LERO, Ireland
Alexander K. Petrenko, ISP, Russian Academy of Science, Russian Federation
Alejandro Sanchez, Univ. Nacional de San Luis, Argentina
Dimitrios Settas, UNU-IIST, United Nations University, Macau SAR China
(Co-chair)
Sulayman K. Sowe, UNU-IAS, Japan
Ioannis Stamelos, Dept. of Informatics, Aristotle Univ. of Thessaloniki,
Greece
Ralf Treinen, PPS, Université Paris Diderot, France
Joost Visser, Software Improvement Group, The Netherlands
Tanja Vos, Universidad Politécnica de Valencia, Spain
Anthony Wasserman, Carnegie Mellon Silicon Valley, US

STEERING COMMITTEE
Bernhard Aichernig, Technical University of Graz, Austria
Antonio Cerone, UNU-IIST, United Nations University, Macau SAR China
Martin Michlmayr, University of Cambridge, UK
David von Oheimb, Siemens Corporate Technology, Germany
José Nuno Oliveira, Dep. de Informática, Universidade do Minho, Portugal

CONTACTS
opencert-2011 en iist.unu.edu


WEB
opencert.iist.unu.edu
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <http://listas.python.org.ar/pipermail/pyar/attachments/20110926/10c36f9e/attachment.html>