SEFM 2013

11th International Conference on
Software Engineering and Formal Methods

September 25-27, 2013, Madrid, Spain


Call for papers

Submissions to the conference must not have been published or be concurrently considered for publication elsewhere. All submissions will be peer-reviewed and judged on the basis of originality, contribution to the field, technical and presentation quality, and relevance to the conference. All papers must be written in English. Research and tool papers must not exceed 15 pages in the LNCS format while short papers must not exceed 8 pages in the LNCS format. Papers must be submitted electronically

After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in a special issue of Software and Systems Modeling, Springer.

Call for papers (pdf).