CALL FOR TUTORIALS - 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 proposals for full day or half day tutorials related to the topics of SEFM,
and we encourage tutorials that address recent research themes.
SEFM 2010 tutorial proposals should include:
- tutorial title
- names, affiliations and brief CV of the tutors
- a description of the tutorial theme
- key learning objectives for the participants and required background
- audio/video requirements, if any
Proposals (at most 5 pages) should be sent to the tutorial chair Laura Semini at
The deadline for submissions is April 15, 2010.
Notification will be sent by May 15.
Tutorial participants will be offered registration for SEFM 2010 with a special discount fee.
More information on SEFM 2010: http://www.iist.unu.edu/sefm2010/ or
Further inquiries can be made to the tutorial chair