Download ASCII text version of call for workshops and tutorials

OVERVIEW

The Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005) will be held in Koblenz, Germany, 7-9 September 2005. Affiliated workshops and tutorials will be organized on 5th and 6th September 2005.

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

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

PROPOSALS

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

  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@dfki.de)