Estimados Colegas, dejo para su consideración el Call for Papers de OpenCert 2011 - Open Source Software Certification. Agradezco hagan llegar el llamado a posibles interesados. Un saludo cordial, Alejandro. ---------------------------------------------------------------------------------------------------- ---------------------------------------------------------------------------------------------------- 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 <a href="http://opencert.iist.unu.edu/">http://opencert.iist.unu.edu/</a> Abstract submission deadline: 19 September, 2011 Paper submission deadline: 26 September, 2011 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 position papers, will undergo a peer-review process. All papers should be written in English and in ECEASST format. Detailed information on the submission procedure is available at <a href="http://opencert.iist.unu.edu/">opencert.iist.unu.edu/</a> PUBLICATION Accepted papers will be published in Electronic Communications of the EASST (ECEASST). 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: 19 September 2011 - Paper Submission deadline: 26 September 2011 - Acceptance notification: 14 October 2011 - Final version due: 28 October 2011 PROGRAM COMMITTEE Luis Barbosa, Dep. de Informatica, 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, Universita di Milano, Italy Roberto Di Cosmo, Universite 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 Univ., 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, Universita 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, Universite Paris Diderot, France Joost Visser, Software Improvement Group, The Netherlands Tanja Vos, Universidad Politecnica de Valencia, Spain Anthony Wasserman, Carnegie Mellon Silicon Valley, US CONTACTS <a href="mailto:opencert-2011@iist.unu.edu">opencert-2011@iist.unu.edu</a> WEB <a href="http://opencert.iist.unu.edu">opencert.iist.unu.edu</a>