QAC'07 - 2nd call for papers

QAC'07 - 2nd call for papers

[Sun Meng]

[-- Attachment #1: Type: text/plain, Size: 34 bytes --]

We apologise for multiple copies.

[-- Attachment #2: 2ndcfp.txt --]
[-- Type: text/plain, Size: 5772 bytes --]

*******************************************************************************

                       2nd Call for Papers

  1st International Workshop on Quality Aspects of Coordination (QAC'07)

                 June 4-5, 2007, Shanghai, China

                    http://www.cwi.nl/qac07/

*******************************************************************************

Overview and Topics of Interest:

Modeling, analysis, and ensuring end-to-end Quality of Service (QoS)
represent key concerns in large-scale distributed applications.
Deregulation and increased competition in the telecommunications
industry mean that, increasingly, providers use components and services
offered by multiple vendors to compose such applications.  This
highlights the conspicuous absence of compositional models of QoS that
reflect their underlying architecture of component/service composition.

Connectors have emerged as a powerful concept for composition and
coordination of concurrent activities encapsulated as components and
services. Compositional coordination models and languages serve as a
means to formally specify and implement component and service
connectors. They support large-scale distributed applications by
allowing construction of complex component connectors out of simpler
ones. A promising approach to support compositional models of QoS
involves augmenting connector models to reflect and account for the QoS
properties of composed systems. This presents an emerging area of
research with potential high impact. Dynamic changes in a distributed
environment may lead to scarcity of resources (e.g., bandwidth, CPU
cycles, and memory), and cause perceptible degradation of QoS of a
running application. Offering performance guarantees to satisfy users'
end-to-end QoS requirements raises additional challenges for component
connectors. It involves monitoring fluctuations that can trigger such
degradations, and escalating them to the proper architectural levels
where actors can take counter-measures such as substitution of alternate
components and services from other vendors.

The aim of this workshop is to provide a forum for international experts
to discuss issues related to coordination and compositional models of
connectors with QoS guarantees in large-scale distributed systems.
Topics of interest include, but are not limited to:

* Compositional QoS models
* Compositional models for connectors and coordination with QoS
* Quantitative models for components and connectors
* Relation between QoS in adjacent architectural layers
* Modeling and analysis of trade-offs along different QoS dimensions
* QoS issues in coordination of web services
* Performance of middleware-based architectures
* QoS-sensitive monitoring and adaptation mechanisms
* Dynamic reconfiguration of systems and connectors
* Quantitative model checking
* Testing quantitative models
* Experience with QoS in coordination (case studies)

Submission and Proceedings

Submissions to the workshop will be evaluated on the basis of
originality, relevance, technical soundness and presentation
quality. Papers should be written in English and not exceed 15
pages in ENTCS format. The workshop proceedings will be published 
in Electronic Notes in Theoretical Computer Science, Elsevier, 
as post-proceedings; in addition, informal workshop proceedings 
will be handed out to participants during the workshop.

Papers must be submitted in electronic form by email to M.Sun@cwi.nl. 
Submissions must not have been published or be concurrently
considered for publication elsewhere. All submissions will be
reviewed by at least three members of the program committee. 
The final version of the papers must be prepared in LaTeX, 
adhering to the ENTCS format instructions (see
http://www.entcs.org/final.html).

Note that within one or two days after submitting your paper, you
will get a message from the program committee chair, confirming
that your paper was received complete and printed fine. Should you
need help with your submission, or should you have any questions,
please contact Sun Meng at M.Sun@cwi.nl.

Important Dates:

* Paper submission deadline: February 16, 2007.
* Acceptance notification:  April 6, 2007.
* Camera ready version due: May 4, 2007.
* Workshop: June 4-5, 2007.

Organization:

The workshop is organised by CWI, Centrum voor Wiskunde en Informatica, 
Amsterdam, Netherlands.

Organising Committee:

* Farhad Arbab, CWI, The Netherlands
* David Clarke, CWI, The Netherlands
* Sun Meng, CWI, The Netherlands (Chair)
* Jan Rutten, CWI, The Netherlands
* Naixiao Zhang, PKU and ECNU, China

Program Committee:

* Bernhard Aichernig, TU Graz, Austria
* Farhad Arbab, CWI, The Netherlands (Co-Chair)
* Christel Baier, University of Bonn, Germany
* Luis S. Barbosa, University of Minho, Portugal
* Marcello Bonsangue, LIACS-Leiden University, The Netherlands
* Frank de Boer, CWI, The Netherlands
* Manfred Broy, TU Munich, Germany
* Tom Chothia, CWI, The Netherlands
* Rocco De Nicola, Universita' di Firenze, Italy
* Pu Geguang, ECNU, China
* Mei Hong, Peking University, China
* Dang Van Hung, UNU-IIST, Macao
* Marta Kwiatkowska, University of Birmingham, UK
* Zhiming Liu, UNU-IIST, Macao
* Antonia Lopes, University of Lisbon, Portugal
* Rob Van der Mei, CWI, The Netherlands
* Sun Meng, CWI, The Netherlands (Co-Chair)
* Ugo Montanari, University of Pisa, Italy
* Jun Pang, University of Oldenburg, Germany
* Jan Rutten, CWI, The Netherlands
* Bernhard Schaetz, TU of Munich, Germany
* Marjan Sirjani, Tehran University and IPM, Iran
* Carolyn Talcott, SRI International, USA
* Emilio Tuosto, University of Leicester, UK
* Wang Yi, Uppsala University, Sweden

Invited Speakers:

* He Jifeng, ECNU, China
* Kishor S. Trivedi, Duke University, USA

call for papers - QAC'08

[Sun Meng]

We apologize if you receive multiple copies

Call for papers

************************************************************************************
     International Workshop on Quality Aspects of Coordination (QAC 2008)
                          http://www.cwi.nl/qac08

                     August 31, 2008, Istanbul, Turkey
                       Co-located with ICTAC 2008
************************************************************************************

------------------------------------------------------------------------------------
Important dates:

Abstract submission deadline: June 20, 2008.
Submission deadline:          June 27, 2008.
Acceptance notification:      July 21, 2008.
Camera ready version due:     July 31, 2008.
Workshop:                     August 31, 2008.
------------------------------------------------------------------------------------

Overview and Topics of Interest

Modeling, analysis, and ensuring end-to-end Quality of Service (QoS) 
represent key concerns in large-scale distributed applications. 
Deregulation and increased competition in the telecommunications 
industry mean that, increasingly, providers use components and
services offered by multiple vendors to compose such applications. This 
highlights the conspicuous absence of compositional models of QoS that 
reflect their underlying architecture of component/service composition.

Connectors have emerged as a powerful concept for composition and 
coordination of concurrent activities encapsulated as components and 
services. Compositional coordination models and languages serve as a 
means to formally specify and implement component and service 
connectors. They support large-scale distributed applications by 
allowing construction of complex component connectors out of simpler 
ones. A promising approach to support compositional models of QoS 
involves augmenting connector models to reflect and account for the QoS 
properties of composed systems. This presents an emerging area of 
research with potential high impact. Dynamic changes in a distributed 
environment may lead to scarcity of resources (e.g., bandwidth, CPU 
cycles, and memory), and cause perceptible degradation of QoS of a 
running application. Offering performance guarantees to satisfy
users' end-to-end QoS requirements raises additional challenges for 
component connectors. It involves monitoring fluctuations that can 
trigger such degradations, and escalating them to the proper 
architectural levels where actors can take counter-measures such as
substitution of alternate components and services from other vendors.

The aim of this workshop is to provide a forum for international experts 
to discuss issues related to coordination and compositional models of 
connectors with QoS guarantees in large-scale distributed systems. 
Topics of interest include, but are not limited to:

    * Theoretical models (probabilistic, timed, stochastic, 
quantitative) of QoS aspects
    * Compositional QoS models
    * Specification and modeling formalisms and methodologies (process 
algebra, petri nets, automata, Markov Chains, quantitative UML, etc.)
    * Quantitative models for connectors, coordination, components and 
services composition, architectures with QoS
    * Modeling and analysis of trade-offs along different QoS dimensions
    * Relation between QoS in adjacent architectural layers
    * QoS issues in web services, multi-agent systems and 
component-based systems
    * Performance metrics of systems (response time, reliability, 
availability, safety, security, survivability, efficiency, etc.)
    * QoS-sensitive monitoring and adaptation mechanisms
    * Dynamic reconfiguration
    * Quantitative model checking
    * Testing quantitative models
    * Numerical evaluation, simulation and verification of 
non-functional properties
    * Schedulability analysis
    * Relation between Resource Management and QoS
    * Experience with QoS in coordination (case studies and tools)

Program Committee (tentative)

    * Bernhard Aichernig, TU Graz, Austria
    * Farhad Arbab, CWI and Leiden University, The Netherlands (Chair)
    * Christel Baier, University of Dresden, Germany
    * Luis Barbosa, Universidade do Minho, Portugal
    * Tom Chothia, CWI, The Netherlands
    * Rocco De Nicola, Universita' di Firenze, Italy
    * Dang Van Hung, Institute of Information Technology, Vietnam
    * Marta Kwiatkowska, Oxford University, UK
    * Zhiming Liu, UNU-IIST, Macao
    * Antonia Lopes, University of Lisbon, Portugal
    * Rob Van der Mei, CWI and Vrije Universiteit Amsterdam, The 
Netherlands
    * Sun Meng, CWI, The Netherlands (Chair)
    * Ugo Montanari, University of Pisa, Italy
    * Jun Pang, Université du Luxembourg, Luxembourg
    * Emilio Tuosto, University of Leicester, UK
    * Wang Yi, Uppsala University, Sweden


Submission and Proceedings

A submitted paper must contain original contributions, clearly written 
in English. Papers should not exceed 15 pages in ENTCS format. The 
workshop proceedings is planning to be published in Electronic Notes in 
Theoretical Computer Science, Elsevier, as post-proceedings; in 
addition, informal workshop proceedings will be handed out to 
participants during the workshop. If there are enough high quality 
submissions, publication of selected best papers in a special issue
of a leading international journal is also under consideration.

Submissions must not have been published or be concurrently considered 
for publication elsewhere. All submissions will be reviewed by at least 
three members of the program committee. The final version of the papers 
must be prepared in LaTeX, adhering to the ENTCS format instructions.

Submissions should be done using the EasyChair service from the website.

CFP-UML&FM'08

[Sun Meng]

**********************************************************************
                     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 01, 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 selected 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 01, 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
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)

CFP-UML&FM'08

[Isabelle Perseil]

**********************************************************************
                     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 01, 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 selected 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 01, 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".

CFP-UML&FM'08

[Sun Meng]

**********************************************************************
                     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 01, 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 selected 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 01, 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".

CFP-UML&FM'08 : Extended deadline

[Sun Meng]

**********************************************************************
                     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 selected 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)