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. The scientific program will include invited talks, paper and tool presentations, tool demonstrations, tutorials and workshops.
More information will be made available in due time through the conference website: http://sefm2012.city.academic.gr/
