SEFM 2004: CALL FOR WORKSHOPS AND TUTORIALS



Date view Thread view Subject view Author view Attachment view

From: Gianna Reggio (reggio@disi.unige.it)
Date: Wed 25 Feb 2004 - 13:57:05 GMT


We kindly invite you to consider organising a workshop or giving a 
tutorial at the SEFM 2004 conference.
SEFM 2004, the Second IEEE International Conference on Software 
Engineering and Formal Methods, will be held in Beijing, the capital of 
China, during 28-30 September 2004. The affiliated workshops and 
tutorials will be organized on 26th and 27th September 2004.

Workshops and Tutorials are welcome on any aspect of the theory and 
application of Formal Methods in the area of Software Engineering.

FORMATS
	• 	One-day - Two-day workshops: 26-27 September 2004
	• 	Half-day or One-day tutorials: 26-27 September 2004

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, if 
applicable
	• 	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
1 March 2004 Submission of Proposal
15 March 2004 Acceptance notification
26-27 September  2004 Tutorials and workshops

CONTACT
Please, send your proposal to
Bernhard K. Aichernig (SEFM 2004 Workshop and Tutorials Chair)
bka@iist.unu.edu

Date view Thread view Subject view Author view Attachment view