UML&FM'09 CFP

UML&FM'09 CFP

[Sun Meng]

                    [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

UML&FM'09 CFP

[Sun Meng]

**********************************************************************
                     CALL FOR PAPERS :  UML&FM’2009
             2nd INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS
           http://www.artist-embedded.org/artist/UML-FM-2009.html

                Workshop held in conjunction with ICFEM 2009
                    The 11th International Conference on
                       Formal Engineering Methods
                  http://icfem09.inf.puc-rio.br/ICFEM.html
                            December 08, 2009
                         Rio de Janeiro, Brazil
************************************************************************

                      Submission deadline: September 30th, 2009
                      -----------------------------------------


Many interest groups from a research perspective are in favour of the
creation of this workshop.

For more than a decade now, the two communities of UML and formal methods
have been working together to produce a simultaneously practical (via UML)
and rigorous (via formal methods) approach to software engineering.

UML is the de facto standard for modelling various aspects of software
systems in both industry and academia, despite the inconvenience that its
current specification is complex and its syntax imprecise.

The fact that the UML semantics is too informal have led many researchers
to formalize it with all kinds of existing formal languages, like OCL, Z,
B, CSP, VDM, Petri Nets, UPPAAL, HOL, Coq, PVS etc.

This first workshop will be open to various subjects as the main objective
is to encourage new initiatives of building bridges between informal,
semi-formal and formal notations.


Topics:
======

This workshop seeks contributions from researchers and practitioners
interested in all aspects of integrating UML and formal methods. To this
end, we solicit papers (no more than 6 pages long) related to, but not
limited to, the following principal topics:

·        Consistent specifications, model transformations (QVT technologies,
          transformation repositories). Transformations to make models more
          analyzable so as to make them executable.

·        Automation of traceability through transformations

·        Refinement techniques: developing detailed design from a UML
          abstract specification

·        Refinement of OCL specification as well

·        Formal reasoning on models for code generation

·        Technologies for compositional verification of models

·        Specification of a formal semantics for the UML.
          Giving an abstract syntax to UML diagrams

·        Formal validation and verification of software

·        Co-modeling methods formal/informal mapping techniques

·        End-to-end methodologies or software process
          engineering,correct-by-construction design providing and
          supporting tools for safety-critical embedded systems design


Workshop Format
===============
This full-day workshop will consist of an introduction of the topic by the
workshop organizers, presentations of accepted papers, and in depth
discussion of previously identified subjects emerging from the
submissions. A summary of the discussions will be made available.


Submission and Publication
==========================
To contribute, please send a position paper or a technical paper

to agusti[dot]canals[at]c-s[dot]fr with “ICFEM09 UML&FM Workshop” in the
title.

2 versions of the papers will be requested :

1/ Short versions : papers should not exceed 6 pages. Submitted
manuscripts should be in English and formatted in the style of the IEEE CS
Format. Preferably, submissions should be in PDF format.
First, the selected papers will be published online via in the IEEE Xpress
and distributed during the workshop as a Technical Report between
Pontifícia Universidade Católica do Rio de Janeiro and Telecom-ParisTech

2/ Then, after the workshop (the deadline is not already fixed), as
post-proceedings, all extended versions of accepted papers will be
published in the ISSE NASA journal (Innovations in Systems and Software
Engineering), first edition of 2010.
These papers should not exceed 8 pages. Submitted manuscripts should be in
English and formatted in the style of the ISSE Format. Preferably,
submissions should be in PDF format.
Please, follow the guidelines at the "For authors and editors" heading in
the ISSE website
(http://www.springer.com/computer/programming/journal/11334)


IMPORTANT DATES
===============
Submission deadline:             September 30th, 2009
All Notification of acceptance:  October 30th, 2009
Final copy for proceedings:      November 15th, 2009
Workshop date :                  December 08th, 2009


Organizers
==========

Organizational sponsors :

OMG        (http://www.omg.org/)
ARTIST   (http://www.artist-embedded.org/artist/)


Organizers and Programme Steering committee:

Jean-Michel Bruel (Liuppa, France)
Agusti Canals (CS, France)
Robert de Simone (INRIA, France)
Sébastien Gérard (CEA-LIST, France)
Elie Najm (Telecom ParisTech, France)
Isabelle Perseil (TELECOM ParisTech, France)

Publicity Chair:
Sun Meng (CWI, The Netherlands)

IEEE CS Coordinator:

Mike Hinchey (NASA GSFC and Loyola College in Maryland, USA)


Program Committee:

     * Nazareno Aguirre (Universidad Nacional de Río Cuarto, Argentina)
     * Pascal André (LINA, University of Nantes, France)
     * Yamine Ait Ameur (LISI / ENSMA, France)
     * Luciano Baresi (Politecnico di Milano, Italia)
     * Yves Bernard (AIRBUS France, France)
     * Jean-Paul Bodeveix (IRIT, France)
     * Agusti Canals (CS, France) — General Chair
     * Sebastien Demathieu (THALES, France)
     * Mamoun Filali (IRIT, France)
     * Madeleine Faugère (THALES, France)
     * Robert France (Colorado State University, USA)
     * Sébastien Gérard (CEA-LIST, France)
     * Martin Gogolla (University of Bremen, Germany)
     * Irfan Hamid (Microsoft Corp, Canada)
     * Wooter Joosen (Catholic University of Leuven, Belgium)
     * Sharon Keidar-Barner (IBM Haifa Research Laboratory, Israel)
     * Kevin Lano (King’s College London, United Kingdom)
     * Tom Maibaum (McMaster University, Canada )
     * Manuel Mazzara (Newcastle University, United Kingdom)
     * Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
     * Sun Meng (CWI, The Netherlands)
     * Dominique Mery (LORIA, France)
     * Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
     * Elie Najm (Telecom ParisTech, France)
     * Kazuhiro Ogata (Japan Advanced Institute of Science and Technology,
       Japan)
     * Richard Paige (University of York, United Kingdom)
     * Dorina Petriu (Carlton University, USA)
     * Pierre-Yves Schobbens (University of Namur, Belgium)
     * Douglas C. Schmidt (Vanderbild University, USA)
     * Françoise Simonot Lion (LORIA, France)
     * Oleg Sokolsky (University of Pennsylvania, USA)
     * Jing Sun (University of Auckland, New Zealand)
     * Jun Suzuki (University of Massachusetts, Boston, USA)
     * Martin Törngren (Royal Institute of Technology, Sweden)
     * Laurence Tratt (Bornmouth University, United Kingdom)
     * Tatsuhiro Tsuchiya (Osaka University, Japan)
     * Naoyasu Ubayashi (Kyushu Institute of Technology, Japan)
     * Stefan Van Baelen (Catholic University of Leuven, Belgium)
     * Tullio Vardanega (University of Padua, Italia)
     * François Vernadat (CNRS-LAAS, France)
     * Eugenio Villar (Universidad de Cantabria, Spain)
     * André Windisch (EADS Military Aircraft, Germany)
     * John Whittle (George Mason University, USA)
     * Sergio Yovine (CNRS-Verimag, France)