Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
SEFM 2015 - International Conference on Software Engineering and Formal Methods SEFM 2015
Topics/Call fo Papers
The 13th edition of the International Conference on Software Engineering and Formal Methods will be held in York, UK between 7-11 September 2015. The aim of the conference is to bring together practitioners and researchers from academia, industry and government to advance the state of the art in formal methods, to facilitate their uptake in the software industry and to encourage their integration with practical engineering methods. Papers that combine formal methods and software engineering are especially welcome.
Peter O’Hearn - University College London and Facebook, United Kingdom
Cliff Jones - Newcastle University, United Kingdom
Edward A. Lee - University of California at Berkeley, United States
Peter O’Hearn - University College London and Facebook, United Kingdom
Cliff Jones - Newcastle University, United Kingdom
Edward A. Lee - University of California at Berkeley, United States
Other CFPs
- 3rd Annual International Conference on Advances in Medical Research (CAMR 2015)
- Workshop on Public Data
- 2015 First International Conference on Recent Advances in Internet of Things
- 2015 International Conferences on Brain Informatics and Health and Active Media Technology (BIH-AMT 2015)
- 2015 IEEE/WIC/ACM International Conference on Web Intelligence (WI’15) and 2015 IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT’15)
Last modified: 2014-10-24 22:42:38