[Ubuntu-UY] CFP OpenCert 2011 - Open Source Software Certification - Montevideo, Uruguay, 14-15 Nov

Dom Ago 14 18:12:25 UTC 2011

Entiendo que en esencia los artículos que se envíen deben tratar temas
referentes a la aplicación de métodos y herramientas formales a la
certificación de software abierto. La descripción en el sitio web [1] te da
bastante idea de los temas, aunque ante alguna duda puntual no duden en
consultarme.

Es un evento satélite de SEFM [2], en la url de la conferencia menciona
gente de la organización local (de la conferencia, no de OpenCert).

[1] http://opencert.iist.unu.edu/
[2] http://www.fing.edu.uy/inco/eventos/SEFM2011/

Un abrazo,
alejandro.

On Sat, Aug 13, 2011 at 9:58 PM, Pablo Rubianes <pablorubianes en ubuntu.org.uy
> wrote:

> Hola, podes explicar un poco que es el OpenCert? quien lo organiza en
> uruguay o algun dato mas?
>
> Gracias
>
> 2011/8/13 alejandro sanchez <aljsacc en gmail.com>
>
>> 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
>>
>>
>> http://opencert.iist.unu.edu/
>>
>>
>> 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
>> opencert.iist.unu.edu/
>>
>>
>> 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
>> opencert-2011 en iist.unu.edu
>>
>>
>> WEB
>> opencert.iist.unu.edu
>>
>> --
>> Ubuntu-uy mailing list
>> Ubuntu-uy en lists.ubuntu.com
>> Modify settings or unsubscribe at:
>> https://lists.ubuntu.com/mailman/listinfo/ubuntu-uy
>>
>>
>
>
> --
> Pablo Rubianes
>
> Ubuntu Member
> Consejo Comunitario Ubuntu Uruguay
> Ubuntu Beginners Team Member
>
------------ próxima parte ------------
Se ha borrado un adjunto en formato HTML...
URL: <https://lists.ubuntu.com/archives/ubuntu-uy/attachments/20110814/322b1e85/attachment-0001.html>