+++ Re: [pUML] UML&FM'2008: / Registration? +++



+++ Re: [pUML] UML&FM'2008: / Registration? +++

From: Stefan G <sgruner_at_cs.up.ac.za>
Date: Fri, 26 Sep 2008 08:29:01 +0200
Message-ID: <48DC812D.2070904@cs.up.ac.za>
Dear Workshop Organisers, On the workshop's website ( 
http://www.artist-embedded.org/artist/UML-FM-08.html ) I did not find 
any registration form. Please advise me how I must register myself to 
the workshop, and where do I find the registration form. Thanks! /Stefan/


________________
Isabelle Perseil wrote:
> **********************************************************************
>                     CALL FOR PAPERS :  UML&FM’2008
>            FIRST INTERNATIONAL WORKSHOP ON UML&FORMAL METHODS
>           http://www.artist-embedded.org/artist/UML-FM-08.html
>
>                Workshop held in conjunction with ICFEM 2008
>                    The 10th International Conference on
>                       Formal Engineering Methods
>                         http://www.icfem2008.org/
>                            October 27, 2008
>                         Kitakyushu-City, Japan
> ************************************************************************
>
>                      Submission deadline: July 08, 2008
>                      --------------------------------------
>
>
> 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 “ICFEM08 UML&FM Workshop” in the
> title.
>
> 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)
>
> All accepted papers will be published in the ISSE NASA journal
> (Innovations in Systems and Software Engineering).
>
> Slides will be made available through the workshop website.
>
>
> IMPORTANT DATES
> ===============
> Submission deadline:             July 08, 2008
> All Notification of acceptance:  July 15, 2008
> Final copy for proceedings:      July 25th, 2008
> Workshop date :                  October 27, 2008
>
>
> 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)--- General Chair
> SĂ©bastien GĂ©rard (CEA-LIST, France)
> Isabelle Perseil (TELECOM ParisTech, France)
>
>
> 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)
> 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)
> Susanne Graf (CNRS-Verimag, France)
> Irfan Hamid (TELECOM ParisTech, France)
> Alan Hartman (IBM Haifa Research Laboratory, Israel)
> Wooter Joosen (Catholic University of Leuven, Belgium)
> Kevin Lano (King's College London, United Kingdom)
> Tom Maibaum (King's College London, United Kingdom)
> Stephen J.Mellor (Accelerated Technologies, Tucson AZ, USA)
> Dominique Mery (LORIA, France)
> Alexandre Mota (Universidade Federal de Pernambuco, Brazil)
> 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)
> 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)
>
>
>
>
>
>
>
> To remove yourself from this list please mail 
> puml-list-request@cs.york.ac.uk
> with a message containing the word "unsubscribe".
>
>
Received on Fri 26 Sep 2008 - 07:31:06 BST