[TYPES] Call for WORKSHOPS and TUTORIALS, SEFM 2005

[Wolfgang Ahrendt]

Call for WORKSHOPS and TUTORIALS: SEFM 2005

SEFM 2005
Third IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS
Koblenz, Germany
7-9 September 2005
http://sefm2005.uni-koblenz.de


We kindly invite you to consider organising a workshop or giving a
tutorial at the SEFM 2005 conference.

The Third IEEE International Conference on Software Engineering and
Formal Methods (SEFM 2005), will be held in Koblenz, Germany,
7-9 September 2005.

The affiliated workshops and tutorials will be organized on 5th and
6th September 2005.

Workshops and Tutorials are welcome on any aspect of the theory and
application of Formal Methods, that supports their transfer to software
industry and their integration with practical engineering methods.

Formats:
    * One-day - Two-day workshops:    5 - 6 September 2005
    * Half-day or One-day tutorials:  5 - 6 September 2005

The following information should be provided with

Workshop Proposals:
    * Workshop title and brief description of the scope and goal
    * Motivation of the relevance to the community
    * Organizing committee and potential invited speakers
    * Format of the workshop, duration and refereeing procedure
    * Expected number of participants

Tutorial Proposals:
    * Tutorial title, name of speaker(s) and abstract
    * CV of the speaker(s)
    * Motivation of the relevance to the community
    * Background paper(s) on the topic

IMPORTANT DATES:

  Submission of Proposals:  18     February  2005
  Acceptance notification:  28     February  2005
  Tutorials and Workshops:  6 - 7  September 2005

Contact:

  Please send your proposal to the
  SEFM 2005 Workshop and Tutorials Chair:

  Werner Stephan  (stephan at dfki.de)