11th International Conference on
Software Engineering and Formal Methods
September 25-27, 2013, Madrid, Spain
Important dates
- Abstracts.
March 25th, 2013 April 1st, 2013 (Extended).
- Submission of papers.
April 1st, 2013 April 8th, 2013 (Extended).
- Notification to authors. June 3rd, 2013.
- Camera-ready versions. June 24th, 2013.
- SEFM 2013 workshops. September 23th-24th.
- SEFM 2013 conference. September 25th-27th.