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.
Selected papers will be published in a special issue in Software and Systems Modeling, Springer journal.
Selected papers will be published in a special issue in Formal Aspects of Computing Journal (Springer) journal.
Important Dates
- 24/05/2012: Notification of acceptance
- 15/06/2012: Final (camera ready) paper
- 13/06/2012: Full paper submission for all associated workshops
- 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
26/04/2012 :: Submission of papers for the main conference is over. Notice though that there are four (4) satellite workshops with deadline for submission 13th of June.- 16/04/2012 :: After the conference, authors of selected papers will be invited to submit an extended version of their work to be considered for publication in two special issues; one of the SoSyM (http://www.sosym.org/) journal (Software and Systems Modeling, Springer), and one of the Formal Aspects of Computing Journal (Springer), following the standard reviewing process of the journals.
- 03/03/2012 :: Professors Cliff B. Jones, Corrado Priami and Wolfgang Reisig are going to be the Keynote Speakers of SEFM 2012!
- 01/03/2012 :: 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 the SoSyM journal (Software and Systems Modeling, Springer), following the standard reviewing process of the journal.
28/02/2012 :: Four satellite workshops join SEFM 2012 in Thessaloniki!- 19/1/2012 :: SEFM 2012 goes onto social networking sites.
Find SEFM 2012 on:
