SEFM 2013

11th International Conference on
Software Engineering and Formal Methods

September 25-27, 2013, Madrid, Spain



July 12th
Registration is available. Early registration no later than August 12th.
July 1st
Most influential paper award given to Modeling Heterogeneous Real-time Components in BIP by Ananda Basu, Marius Bozga and Joseph Sifakis.
June 7th
Keynote Speakers will be Wolfram Schulte and Tom Henzinger.
June 6th
Most influential paper of the first 10 years of SEFM Committee has been announced.
June 3rd
Notifications have been sent out. Congratulations to the authors of accepted papers.