(Updated April 27th)

Fourth SDL and MSC Workshop

Theme: Security Analysis and Modelling

2nd June to 4th June, 2004
(tutorials on 1st June, 2004)
Ottawa, Canada

 About SAM

The SDL and MSC (SAM) workshop provides an open discussion arena in the year between SDL Forums, which are held every two years. It addresses topics related to the modelling and analysis of reactive systems, distributed systems, and real-time systems (e.g. telecommunications, automotive, aerospace, Web-based applications).

This fourth instance of the workshop will emphasize Security Analysis and Modelling and will include:
The intended audience includes users of modelling techniques (in industrial and standardization contexts), tool vendors, researchers, and SDL Forum members.

Being a less formal event than the biennial SDL Forum, the SAM workshop is a place for intensive discussions enabling the unfolding of ideas for the future development and application of SDL and MSC, and of related languages: ASN.1, eODL, TTCN, UML, and URN (GRL and UCM). Participants are invited to contribute topics for discussion. Poster presentations and tool demonstrations are also warmly welcomed. As with the previous SAM workshop, the proceedings will be published in a book by a major international publisher (Springer's LNCS: Lecture Notes in Computer Science) after the event.

 Workshop History

SAM 1998
Berlin, Germany
Y. Lahav, J. Fischer, E. Holz, A. Wolisz, R. Gotzhein
SAM 2000
Grenoble, France
Y. Lahav, S. Graf, C. Jard
SAM 2002
Aberystwyth, Wales, UK
E.M. Sherratt, U. Glässer, A. Prinz, R. Reed


We propose to focus the workshop on the topics listed below. However, contributions extending beyond this list and addressing other issues related to modelling languages and techniques (ASN.1, eODL, MSC, SDL, TTCN, UML, and URN) and applications to traditional areas (e.g. telecommunications) will also be welcomed.


Publishers of the proceedings for

SAM2004, SDL2003, SAM2002, SDL2001
Technical papers will be published in the LNCS series (Springer), after the workshop. Bound proceedings will be provided during the workshop. Accepted papers must be presented at the workshop by one of the authors.

These papers must be unpublished and must not be submitted for publication elsewhere. Submissions should not exceed 15 pages (on A4 size paper) and should use 12 pitch in a common font such as Times or similar. Papers that are too long may be rejected without review.

Preliminary results on original approaches and well as industrial contributions (e.g. case studies and lessons learned) that will trigger lively discussions are also welcomed.

All submissions must be in English. Electronic submission via is mandatory. Acceptable file formats for initial electronic submission are PostScript (compressed) and PDF. Authors should ensure that their paper is printable in other systems around the world, since printing problems may jeopardize the review process. Camera-ready copies of accepted papers will have to adhere to the format outlined on the LNCS (Springer) Web page and be sent in Latex (compressed). Authors who wish to use the LNCS style for their initial submission are more than welcome to do so.

 Tutorials, Posters, and Tool Demonstrations

Proposals for tutorials on June 1st, including title, authors, duration (half day or full day), and short description (400 words maximum), should be sent to before April 16th.

Proposals for poster presentations, including title, authors, and short description (400 words maximum), or the poster itself, should be sent to before May 10th. Posters should not be larger than 12 pages (letter or A4).

Proposals for tool demonstrations, including title, authors, and short description (400 words maximum) should be sent to before May 10th. Special requests for equipment should be included (although it would be best to bring your own).

 Design Contest

[SAFIRE-SDL] Following the tradition started in at SAM'02, SAM'04 includes a Design Contest, sponsored by SAFIRE-SDL.  This year's application is an electronic access control system. The deadline for submission of entries is May 31st. Three prizes (1500, 1000, and 500 Euros) will be awarded to the winning entries. Details of the contest are available here.

The descriptions and results of the 2002 and 2003 editions of the contest are still available on-line.

 Submission Deadlines

Abstracts, initial submissions, and revised papers must be submitted electronically via our Cyberchair system ( Please contact Jacques Sincennes regarding any technical problem.
Friday, March 12, 2004
Deadline for submission of title, authors, and abstract
Monday, March 22, 2004
Deadline for submission of full paper
Friday, April 16, 2004
Deadline for submission of tutorial proposals
Friday, April 23, 2004
Notification of acceptance
Monday, May 10, 2004
Submission of poster and demonstration proposals
Monday, May 24, 2004 Submission of revised papers for workshop proceedings
June 1, 2004 SAM Tutorials
June 2-4, 2004 SAM Workshop
To be determined
Submission of LNCS camera-ready paper

 Workshop Location

Ottawa is the capital city of Canada, with approximately one million habitants. Placed at the confluence of three rivers, it has an attractive view, great outdoors, beautiful museums and many other exciting attractions. The weather is usually quite nice in June. Also known as Silicon-Valley North, Ottawa is about 200 km from Montréal and 450 km from Toronto, with good air, train and bus connections to both.

The University of Ottawa is a major research centre in Canada, with a history of over 150 years and nearly 30,000 students. The School of Information Technology and Engineering (SITE) is a joint school of Computer Science, Electrical Engineering, Software Engineering, and Computer Engineering. The Workshop will take place in its shining new building, with good computer facilities and a food court, near sports facilities and nice walks.

Many accommodations can be found at walking distance from the SITE building (see bottom of campus map).

More details on the venue...


Workshop Co-Chairs

Daniel Amyot
School of Information Technology and Engineering
University of Ottawa
800 King Edward
Ottawa, ON, K1N 6N5 (Canada)

Phone: (613) 562-5800 ext 6947
Fax: (613) 562-5664
Alan Williams
School of Information Technology and Engineering
University of Ottawa
800 King Edward
Ottawa, ON, K1N 6N5 (Canada)

Phone: (613) 562-5800 ext 6914
Fax: (613) 562-5664

SDL Forum Society

Chairman Rick Reed TSE Ltd., UK
Treasurer Uwe Glässer Simon-Fraser University, Canada
Secretary Andreas Prinz Agder University College, Norway


B. Georges Sebek
TSB Councellor to Study Group 17

Programme Committee

Daniel Amyot
University of Ottawa, Canada
Rolv Bræk Norwegian University of Science and Technology, Norway
Laurent Doldi
TransMeth Sud-Ouest, France
Olivier Dubuisson France Telecom R&D, France
Anders Ek
Telelogic AB, Sweden
Joachim Fischer Humboldt-Universität zu Berlin, Germany
Uwe Glässer
Simon Fraser University, Canada
Reinhard Gotzhein University of Kaiserslautern, Germany
Susanne Graf Verimag, France
Peter Graubmann
Siemens AG, Germany
Ferhat Khendek Concordia University, Canada
Øystein Haugen University of Oslo, Institute for Informatics, Norway
Dieter Hogrefe Georg-August University Göttingen, Germany
Clive Jervis Motorola, USA
Martin von Löwis Hasso-Plattner Institute, Germany
Sjouke Mauw Eindhoven University of Technology, The Netherlands
Nikolai Mansurov Klocwork, Canada
Arve Meisingset
Telenor, Norway
Ostap Monkewich NCIT, Canada
Anders Olsen Cinderella, Denmark
Andreas Prinz Agder University College, Norway
Rick Reed TSE Ltd, United Kingdom
Amardeo Sarma NEC, Germany
Ina Schieferdecker Fraunhofer FOKUS, Germany
Edel Sherratt University of Wales Aberystwyth, United Kingdom
William Skelton SOLINET, Germany
Ken Turner
Stirling University, United Kingdom
Thomas Weigert
Motorola, USA
Alan Williams University of Ottawa, Canada


All queries to the Organising Committee should be sent to: