CALL FOR WORKSHOPS - SEFM 2010
The 8th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)
SEFM 2010 is the 8th IEEE International Conference on Software Engineering and Formal Methods.
The aim of the conference is to bring together researchers and practitioners from academia,
industry and government to advance the state-of-the-art in formal methods, to scale up their application in software
industry and to encourage their integration with practical engineering methods.
We invite you to submit proposals for one or two day workshops in the wide area of software engineering and formal methods.
In particular workshops on challenging new or emerging fields are appreciated.
SEFM 2010 workshop proposals should include:
- workshop title and brief description of its scope and goals
- names, affiliations and brief CV of the workshop organizers
- format of the workshop and duration and selection procedure
- expected number of participants
- form of proceedings
Proposals (at most 2 pages) should be sent to the workshop chair Maurice ter Beek at:
The deadline for submissions is 20 January 2010.
Notification will be sent by 31 January.
Workshops with informal proceedings can be assisted in printing and distribution by the
SEFM 2010 organizing committee. Workshop participants will be offered registration for
SEFM 2010 with a special discount fee.
More information on SEFM 2010:
http://www.iist.unu.edu/sefm2010 - http://www.sefm2010.isti.cnr.it
Further inquiries can be made to the workshop chair