[pept:156] CfP SFEDL'04 Semantic Foundations of Engineering Design Languages

[michael.mendler@xxxxxxxxxxxxxxxxxxx (by way of Robert Glueck)]

       (* apologies for multiple copies *)

--------------------------------------------------------------------------------

   **** First Call for Papers and Tool Demonstrations ****

   SEMANTIC FOUNDATIONS OF
   ENGINEERING DESIGN LANGUAGES (SFEDL)

   ETAPS 2004 Satellite Workshop
   Barcelona, Spain, 3 April 2004

---------------------------------------------------------------------------------


Important Dates
----------------------

Submission of regular papers:   14 November 2003
Proposals for tool demonstrations: 9 January 2004
Notification:    16 January 2004
Final version: 13 February 2004


Description
-----------------

The development of design languages for embedded systems
employed in engineering practice today is mainly driven by practical
considerations which often sacrifice semantic coherence for a rich
combination of features. Although academic research over the past two
decades has seen many advances in semantic foundations, it was often
carried out in the framework of abstract calculi and logics which lack
practical relevance. Recently, researchers are starting to adapt and
refine their settings to address this deficiency.  Similarly, tool
developers are seeking a thorough semantic support for their tools in
order to make them scale up with the ever increasing complexity of
real-world systems.

The aim of this workshop, like the previous SFEDL event at
ETAPS 2002, is to foster this recent trend by bringing together
practically-minded theoreticians, as well as theoretically-minded
practitioners interested in the semantic foundations of engineering
design languages. Topics of interest include but are not limited to:

  * Semantic foundations of Statecharts, Esterel, Argos, Message
    Sequence Charts, UML profiles, SDL, LOTOS, and related
    languages

  * Contributions addressing compositionality, abstraction, and
    refinement

  * Semantic concepts for simulation, testing, verification,
    validation, code generation, and run-time systems, as well as
    their integration

  * Case studies relating practical design tasks to existing
    semantic concepts to highlight benefits and deficiencies

  * Semantic paradigms supporting the heterogeneity of
    state-of-the-art design languages and multi-language designs

  * Semantic issues of existing design tools, including
    scheduling, synchronisation, and handling of nondeterminism.

Contributions are sought in the form of regular paper submissions and
proposals for tool demonstrations.  Regular papers may be extended
abstracts or full papers describing original research results or work
in progress, and should be no longer than 15 pages in length.


Publication
----------------

Proceedings are intended to be published in the ENTCS series.  Also
planned is a special journal issue on the topic of the workshop.


Organizing Committee
-------------------------------

G. Luettgen (U. of York, UK)
N. Martinez Madrid (U. Carlos III de Madrid, ES)
M. Mendler (U. of Bamberg, D)

Programme Committee
--------------------------------

M. Broy (TU Munich, D)
R. Cleaveland (Reactive Systems Inc., USA)
S. Edwards (Columbia U., USA)
K. Havelund (NASA Ames, USA)
H. Hermanns (U. of Twente, NL)
G. Luettgen (U. of York, UK)
M. Mendler (U. of Bamberg, D)
J.-W.P. De Roever (U. of Kiel, D)
E. Rutten (INRIA, Rhone-Alpes, F)
R. De Simone (INRIA, Sophia-Antipolis, F)
B. Steffen (U. of Dortmund, D)


Contact
------------

Michael Mendler
University of Bamberg
Informatics Theory Group
Feldkirchenstrasse 21
D-96045 Bamberg
Germany

Email: michael.mendler@wiai.uni-bamberg.de
Phone: +49 (0)951 863 2828
Fax:     +49 (0)951 863 1200
URL: http://www.uni-bamberg.de/wiai/gdi/sfedl04