From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 828BFBBAF for ; Sun, 18 May 2008 03:31:37 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAMMjL0jBiBMZ/2dsb2JhbACsCg X-IronPort-AV: E=Sophos;i="4.27,502,1204498800"; d="scan'208";a="12380899" Received: from concorde.inria.fr ([192.93.2.39]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 May 2008 03:31:37 +0200 Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id m4I1VatX019084 (version=TLSv1/SSLv3 cipher=RC4-SHA bits=128 verify=OK) for ; Sun, 18 May 2008 03:31:37 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApoEAMMjL0jBiBMZ/2dsb2JhbACsCg X-IronPort-AV: E=Sophos;i="4.27,502,1204498800"; d="scan'208";a="12380898" Received: from mx2.di.uminho.pt ([193.136.19.25]) by mail1-smtp-roc.national.inria.fr with ESMTP; 18 May 2008 03:31:36 +0200 Received: (qmail 30739 invoked from network); 18 May 2008 01:31:33 -0000 Received: from gwlmf.di.uminho.pt (HELO [192.168.69.21]) (lsb@[193.136.19.80]) (envelope-sender ) by mx2.di.uminho.pt (qmail-ldap-1.03) with SMTP for ; 18 May 2008 01:31:33 -0000 Mime-Version: 1.0 (Apple Message framework v753) Content-Type: text/plain; charset=US-ASCII; delsp=yes; format=flowed Message-Id: Content-Transfer-Encoding: 7bit From: Luis Barbosa Subject: FLOSS-FM & OpenCert 2008 Joint Workshop @OOS'08 Date: Sun, 18 May 2008 02:31:27 +0100 To: appsem@lists.tcs.ifi.lmu.de, agents@cs.umbc.edu, stochver@cs.bham.ac.uk, reliable_computing@interval.louisiana.edu, ipa@win.tue.nl, categories@mta.ca, moca-announce@list.it.uu.se, puml-list@cs.york.ac.uk, concurrency@cwi.nl, jml@cs.iastate.edu, umsec-events@cs.umn.edu, behavior@cs.ucsd.edu, logic-list@Helsinki.FI, comlab@comlab.ox.ac.uk, logic-announce@uclink4.berkeley.edu, se-group@cs.umn.edu, eacsl@dimi.uniud.it, fmics@inrialpes.fr, theory-logic@cs.cmu.edu, csl@dbai.tuwien.ac.at, coalgebras@iti.cs.tu-bs.de, pvs@csl.sri.com, caml-list@inria.fr, procos@jiscmail.ac.uk, acl2@cs.utexas.edu, haskell@haskell.org, isabelle-users@cl.cam.ac.uk, asci@twi.tudelft.nl, petrinet@informatik.uni-hamburg.de, grin@di.unipi.it, coq-club@pauillac.inria.fr, nwpt-info@sool.ioc.ee, seworld@cs.colorado.edu, theorynt@listserv.nodak.edu, components@artist-embedded.org, formal-methods@cs.uidaho.edu, ecoop-info@ecoop.org, theorem-provers@ai.mit.edu, lfcs-interest@dcs.ed.ac.uk, nvti-list@cwi.nl, forum@prg.ox.ac.uk, prog-lang@diku.dk X-Mailer: Apple Mail (2.753) X-Miltered: at concorde with ID 482F86F9.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; iist:01 model:01 model:01 inv:01 iist:01 luis:98 governments:98 offerings:98 enquiries:98 luis:98 sar:98 theorem:02 contributed:02 checking:02 suited:02 Apologies for cross-posting ------------------------------------------------------------------------ ------------------------------------- Call for Papers FLOSS-FM & OpenCert 2008 Joint Workshop OpenCert 2008: 2nd International Workshop on Foundations and Techniques for OPEN SOURCE SOFTWARE CERTIFICATION FLOSS-FM 2008: International Workshop on Foundations and Techniques bringing together Free/Libre Open Source Software and Formal Methods Milan, Italy - 10 September 2008 Satellite Event of OSS 2008 http://opencert.iist.unu.edu/ http://floss-fm.it.uc3m.es/ Submission deadline: 7 June, 2008 OBJECTIVES The aim of this joint workshop is to bring together researchers from academia and industry who are broadly interested in (1) the quality assessment of open source projects, ultimately leading to the establishment of a complete certification process; (2) the application of open source technologies and techniques to the Formal Methods world, and conversely, in developing formal methods for use in conjunction with open source projects. BACKGROUND Over the last decade, the importance of open source software has increased dramatically, some of the reasons behind the increase being: - the outstanding success of flagship open source projects, notably the Linux operating system, the Apache web server and the Mozilla Web browser; - the movement by local, regional and national governments throughout the world toward the use of open source software in their administrative processes in order to reduce reliance on proprietary formats and software and thereby achieve greater control over security; - the fact that the use of open source software often leads to substantial cost savings; - the fact that in resource-poor environments, open source development generally constitutes a more appropriate technology than similar or equivalent proprietary offerings. Moreover, open source development brings novel sociological and economic advances, notably collaborative context and worth based on availability rather than exclusivity. Formal Methods developers have as much to gain as anyone from this changing socio-economic landscape. Yet other characteristics of open source software - its pervasiveness, an unconventional development model, the permanent public availability of legacy code, rapid evolution, mean that - it is hard to objectively assess the quality of an open source project at any particular moment; - open source projects are hard to control or predict and thus open source software is not only an opportunity but also a challenge for Formal Methods practitioners. It can appear a risk in the security-sensitive domains that traditionally have been the preserve of Formal Methods. A standard approach to reducing such a risk is to establish an independent certification process. However, today we lack standards and methods by which to certify the quality of open source software. The FLOSS-FM part of the joint workshop will treat themes which deal with the conjunction of open source software and Formal Methods in any way, such as the development of formal methods tools via or incorporating open source software, or formal methods aimed at open source, or models and techniques that treat of the two areas in synergy with each other. The OpenCert part of the joint workshop will focus in particular on model-based techniques and formal methods that appear promising for the facilitation of open source certification, as well as on empirical studies, case studies. We will accept both foundational papers and practical reports, including case studies and tool presentations. Areas to address include: - Formal Methods tools constructed using open source tools or incorporating open source components or development techniques; - open source projects using formal methods in their development, or whose processes or products have been verified, evaluated or modeled using formal methods - new and/or existing formal methods and/or tools which are particularly suited to open source contexts, and/or experience with them; - new and/or existing certification processes and tools suitable for open source contexts, and/or experience with them; - foundational and methodological contributions in these areas; - position papers relative to the above; - tools and case studies that integrate techniques from different areas, such as . product and process certification . formal modelling . formal verification: model checking & theorem proving . reverse engineering . static analysis, testing and inspection . safety and security . language design and evolving systems . empirical software engineering which aim to overcome the challenges to assessment and certification for open source software or the secure application of open source techniques to Formal Methods. The one-day workshop will feature keynote speakers and contributed paper presentations. All submitted papers will undergo a peer-review process. Accepted papers will be electronically published with ISBN number. Detailed information on the submission procedure will be available on the conference website. Publication of a selection of the papers in a special issue of a journal is also under consideration. Papers not specifically directed to one of FLOSS-FM or OpenCert will be assigned by the Program Committee to one or the other. SUBMISSION Submissions to the joint workshop must not have been published or be concurrently considered for publication elsewhere. All submissions will be judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the workshop. Papers should be written in English and not exceed 16 pages and prepared using the format available at http://oss2008.dti.unimi.it/index.php?id=authorKit.htm Detailed information on the submission procedure is available on the workshop websites. All enquiries should be sent to one of (these list addresses have the same recipients): mailto: floss-fm@inv.it.uc3m.es, opencert@iist.unu.edu IMPORTANT DATES - Submission deadline: 7 June, 2008 - Acceptance notification: 24 June, 2008 - Final version due: 6 July, 2008 ORGANISERS Luis Barbosa University of Minho, Portugal Peter Breuer University of Birmingham, UK Antonio Cerone United Nations University, Macau SAR China Simon Pickin University Carlos III of Madrid, Spain