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.