CFP: UMP PITPAT (Pecing Together Practice and Theory)

Date view Thread view Subject view Author view Attachment view

From: Arend Rensink (
Date: Fri 13 Dec 2002 - 13:59:10 GMT

     UML PITPAT: Piecing Together Practice And Theory
         29 June 2003, Eindhoven, The Netherlands

           A satellite workshop to ICALP 2003
    30 June - 4 July 2003, Eindhoven, The Netherlands

               ---- Call for Papers ----

Aims and scope

This workshop aims to bring together researchers working on or interested in
the integration of formal techniques for system specification, design, 
implementation and verification with the software engineering modelling
language UML.

Where this entails providing a formal interpretation of those parts of the UML
involved in the integration effort, this should go beyond a case study in the
application of formal techniques: there must be a clear added value from the
point of view of the software engineer who actually UML.

Moreover, the focus of interest in this workshop is upon making more than one
of the UML diagrams work formally: i.e., not just state or sequence diagrams in
splendid isolation but rather several diagram types together.

The workshop does not concentrate on any particular formal approach or
technique: on the contrary, the intention is to collect contributions from many
different areas, including (but not limited to) process algebra, automata and
language theory, term and graph rewriting, logics, static analysis, model
checking and testing.


We solicit contributions to this workshop in the form of abstracts (serving as
a statement of interest or position) or full papers (to be considered for
publication in the ENTCS). Submissions should be in pain text or PDF. Each 
submission should explicitly state the following:

* To what part of the software engineering process it applies;
* What parts of the UML are involved;
* What formal approach or technique is applied
* What the added value to the software engineering process is.

Speakers: Full papers

We invite full papers of no more than 15 pages. Submissions should be PDF and
adhere to the ENTCS format (see All submissions 
will undergo a careful review by the programme committee. Authors of accepted 
papers will be asked to present their work during the workshop. 

Accepted papers will be included in the workshop reader and will be considered
for publication in the Electronic Notes in Theoretical Computer Science. 

Participants: Abstracts

All participants are requested to submit an abstract stating their interest in
the topic of the workshop, and their position on the points stated above (under
"submissions"). Abstracts should not exceed 1 page in length; they should be in 
plain text or PDF. They will not be subject to review; rather, they serve to 
establish areas of interest and to increase active participation in the workshop. 
Abstracts will be included in the workshop reader, but will not be considered for 

Important Dates

21 March 2003  -  full paper submission deadline
30 April 2003  -  full paper notification
23 May   2003  -  full paper final (workshop reader) version
23 May   2003  -  abstract submission deadline

Programme Committee

* Gregor Engels, Universitaet Paderborn
* Andy Evans, University of York
* Guy Genilloud
* Geri Georg, Agilent Technologies
* Jozef Hooman, University of Nijmegen
* Diego Latella, Istituto CNUCE, Pisa
* Ileana Ober, Verimag Laboratory
* Gabriele Taentzer, University of Berlin
* Roel Wieringa, University of Twente


* Arend Rensink, University of Twente;

* Perdita Stevens, University of Edinburgh;

Date view Thread view Subject view Author view Attachment view