CALL FOR WORKSHOPS - SEFM 2010

The 8th IEEE International Conference on
SOFTWARE ENGINEERING AND FORMAL METHODS (SEFM)

Pisa, Italy
13--18 September, 2010
http://www.sefm2010.isti.cnr.it

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

   

 
www.sefm2010.isti.cnr.it SEFM 2010 School
Home    |    News   |   Downloads   |   Sitemap   |     |   rss feed   |   css 2.1   |   last updated: 24 Sep, 2010 - 13:18