Share Your Research, Maximize Your Social Impacts
Main Menu
Searching By
PARTNERS
SEFM 2017 - 15th International Conference on Software Engineering and Formal Methods
Date2017-09-12 - 2017-09-15
Deadline2017-02-28
VenueTrento, Italy 
Keywords
Websitehttps://sefm17.fbk.eu
Topics/Call fo Papers
The 15th International Conference on Software Engineering and Formal
Methods, SEFM 2017, will be held in Trento, Italy, September 6-10, 2017.
The conference aims to bring together leading researchers and
practitioners 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 within practical software
engineering methods and tools.
Methods, SEFM 2017, will be held in Trento, Italy, September 6-10, 2017.
The conference aims to bring together leading researchers and
practitioners 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 within practical software
engineering methods and tools.
Other CFPs
- 2017 International Conference on Computer Safety, Reliability, and Security
- 50th Annual IEEE/ACM International Symposium on Microarchitecture
- 2017 International Conference on Computer, Information and Telecommunication Systems
- International Conference on Business and Social Science (ICoBSS 2017)
- 2017 IEEE International Symposium on Information Theory
Last modified: 2017-01-24 23:24:44