The 10th International Conference on Software Engineering and Formal Methods is hosted by:
City College, International Faculty of the University of Sheffield
and is to be held in Thessaloniki, Greece, on 1-5 October, 2012.
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. Authors are invited to submit both research and tool papers.
The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.
The proceedings of the conference will be published in the Springer Lecture Notes in Computer Science series.
Important Dates
- 04/04/2012: Abstract submission
- 19/04/2012: Full paper submission
- 24/05/2012: Notification of acceptance
- 15/06/2012: Final (camera ready) paper
- 1-5/10/2012: 10th SEFM Conference
City College - An International Faculty of the University of Sheffield
SEERC
EPY - Greek Computer Society - Macedonia Thrace Chapter
Latest News
19/1/2012 :: SEFM 2012 goes onto social networking sites.
Find SEFM 2012 on:
- 30/12/2011 :: The 1st call for papers is out.
- 14/11/2011 :: The preliminary poster is available at the downloads page.
- 09/11/2011 :: The website of the conference is going live.
- Few days left for the 9th International Conference on Software Engineering and Formal Methods, November 14-18, 2011, Montevideo, Uruguay