From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by yquem.inria.fr (Postfix) with ESMTP id 1EEF5BC57 for ; Fri, 2 Apr 2010 18:05:55 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Am0BAAOztUvAEL8IkWdsb2JhbACbRxUBAQEBCQsKBxEEHrU9glqCKwSOJw X-IronPort-AV: E=Sophos;i="4.51,353,1267398000"; d="scan'208";a="47932769" Received: from hera.cwi.nl ([192.16.191.8]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 02 Apr 2010 18:05:54 +0200 Received: from bobomb.sen.cwi.nl (bobomb.sen.cwi.nl [192.16.201.202]) by hera.cwi.nl with ESMTP id o32G56rp015407 for ; Fri, 2 Apr 2010 18:05:06 +0200 (CEST) Message-ID: <4BB615B2.1070006@cwi.nl> Date: Fri, 02 Apr 2010 18:05:06 +0200 From: Sun Meng User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.1.8) Gecko/20100217 Fedora/2.0.3-1.fc12 SeaMonkey/2.0.3 MIME-Version: 1.0 To: puml-list@cs.york.ac.uk, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, isabelle-users@cl.cam.ac.uk, reliable_computing@interval.louisiana.edu, components@artist-embedded.org, agents@cs.umbc.edu, behavior@cs.ucsd.edu, comlab@comlab.ox.ac.uk, formal-methods@cs.uidaho.edu, concurrency@cwi.nl, grin@di.unipi.it, categories@mta.ca, moca-announce@list.it.uu.se, eacsl@dimi.uniud.it, fmics@inrialpes.fr, ipa@win.tue.nl, logic-announce@uclink4.berkeley.edu, logic-list@Helsinki.FI, SEN3-list@cwi.nl, prog-lang@diku.dk, theory-logic@cs.cmu.edu, theorynt@listserv.nodak.edu, acl2@cs.utexas.edu, asci@twi.tudelft.nl, caml-list@inria.fr, coq-club@pauillac.inria.fr, jml@cs.iastate.edu, lfcs-interest@dcs.ed.ac.uk, nwpt-info@sool.ioc.ee, stochver@cs.bham.ac.uk, theorem-provers@ai.mit.edu, forum@prg.ox.ac.uk, csl@dbai.tuwien.ac.at, ccp@sics.se, appsem@tcs.informatik.uni-muenchen.de, procos@jiscmail.ac.uk, haskell@haskell.org, se-group@cs.umn.edu, umsec-events@cs.umn.edu, ecoop-info@ecoop.org, lics@informatik.hu-berlin.de Subject: Opencert 2010 CFP Content-Type: text/plain; charset=windows-1252; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; iist:01 model:01 colocated:01 ifip:01 wcc:01 model:01 iist:01 diderot:01 diderot:01 sig:01 sar:98 romania:98 davies:98 sar:98 miranda:98 [sorry if you receive this more than once] Call for Papers OpenCert 2010 4th International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION Pisa, Italy - 17-18 September 2010 Satellite Event to SEFM 2010 http://opencert.iist.unu.edu/ Submission deadline: 28 June, 2010 CONTEXT & OBJECTIVES Over the past decade, the Open Source Software (OSS) phenomenon has had a global impact on the way software systems and 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. And, simultaneously an opportunity and a challenge for rigourous, 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 three previous editions (colocated to ETAPS'07, in Braga, and OSS'08, at IFIP WCC, in Milan, and ETAPS'09, in York), the workshop will focus on formal methods and model-based techniques that appear promising to facilitate OSS certification. Both 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 - language design and evolving systems - automated source code analyses - empirical studies SUBMISSION The two-day workshop will feature invited talks, a pannel 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 are available at opencert.iist.unu.edu/ PUBLICATION Accepted papers will be published in Electronic Communications of the EASST (ECEASST) Publication of selected papers in a journal is currently under negotiation. IMPORTANT DATES - Abstract submission: 21 June, 2010 - Paper submission deadline: 28 June, 2010 - Acceptance notification: 30 July, 2010 - Final version due: 14 August, 2010 PROGRAM COMMITTEE B. Aichernig, Graz, Austria A. Abdurahmanovic, PrimeKey, Sweden L. Barbosa, Minho, Portugal (co-chair) A. Capiluppi, East London, UK A. Cerone, UNU-IIST, Macau, SAR China (co-chair) G. Ciobanu, A.I. Cuza, Romania E. Damiani, Milano, Italy J. Davies, Oxford, UK R. di Cosmo, Paris Diderot, France F. Fabbrini, ISTI-CNR, Italy M. J. Frade, Minho, Portugal J. Fisteus, Madrid Carlos III, Spain D. Ghica, Birmingham, UK T. Janowski, UNU-IIST, Macau, SAR China P. Krishnan, Bond, Australia P. Milazzo, Pisa, Italy J. Miranda, Multicert, Portugal J. Noll, LERO, Ireland A. Petrenko, ISP-RAS, Russia S. Pickin, Madrid Carlos III, Spain S. Shaikh, Coventry, UK (co-chair) S. K. Sowe, UNU-MERIT, The Netherlands R. Treinen, Paris Diderot, France J. Visser, SIG, The Netherlands D. von Oheimb, Siemens, Germany T. Vos, UP Valencia, Spain A. Wasserman, CMU, USA CONTACTS opencert-2010@iist.unu.edu WEB opencert.iist.unu.edu