SEFM: Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

Future:  Post a CFP for 2018 or later   |   Invite the Organizers Email

 
 

All CFPs on WikiCFP

Event When Where Deadline
SEFM 2017 15th International Conference on Software Engineering and Formal Methods
Sep 4, 2017 - Sep 8, 2017 Trento, Italy Apr 13, 2017 (Apr 6, 2017)
SEFM 2016 14th International Conference on Software Engineering and Formal Methods
Jul 4, 2016 - Jul 8, 2016 Vienna, Austria Feb 29, 2016 (Feb 22, 2016)
SEFM 2015 International Conference on Software Engineering and Formal Methods SEFM 2015
Sep 7, 2015 - Sep 11, 2015 York, UK Mar 20, 2015 (Mar 13, 2015)
SEFM 2014 12th International Conference on Software Engineering and Formal Methods
Sep 1, 2014 - Sep 5, 2014 Grenoble, France Mar 21, 2014 (Mar 14, 2014)
SEFM 2013 International Conference on Software Engineering and Formal Methods
Sep 23, 2013 - Sep 27, 2013 Madrid, Spain Apr 1, 2013 (Mar 25, 2013)
SEFM 2012 10th International Conference on Software Engineering and Formal Methods
Oct 1, 2012 - Oct 5, 2012 Thessaloniki, Greece Apr 19, 2012 (Apr 4, 2012)
SEFM 2011 9th International Conference on Software Engineering and Formal Methods
Nov 14, 2011 - Nov 18, 2011 Montevideo, Uruguay Apr 30, 2011 (Apr 23, 2011)
SEFM 2010 8th IEEE International Conference on Software Engineering and Formal Methods
Sep 13, 2010 - Sep 17, 2010 Pisa, Italy Mar 22, 2010
SEFM 2009 software engineering and formal methods
Nov 23, 2009 - Nov 27, 2009 Hanoi May 29, 2009 (May 15, 2009)
 
 

Present CFP : 2017

The 15th International Conference on Software Engineering and Formal Methods, SEFM 2017, will be held in Trento, Italy, September 4-8, 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.

Topics Of Interest

The topics of interest for submission include, but are not limited to the following aspects of software engineering and formal methods:
* New frontiers in software architecture: self-adaptive, service-oriented and cloud computing systems; component, object and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable systems.
* Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing, re-engineering and reuse.
* Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance and reuse.
* Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.
* Security and safety: security and mobility; safety-critical, fault-tolerant and secure systems; software certification.
* Design principles: programming languages; domain specific languages; type theory; abstraction and refinement.

Invited Speakers

We are pleased to have three invited speakers for SEFM 2017:
Marsha Chechik, University of Toronto, Canada
Jeff Kramer, Imperial College London, UK
Alberto Sangiovanni-Vincentelli, Berkeley University, USA
Important Dates (AOE, firm)
Abstract submission: 24 March 2017 Extended to: 06 April 2017
Paper submission: 31 March 2017 Extended to: 13 April 2017
Notification: 29 May 2017

Submission Details

Authors are invited to submit full research papers (up to 15 pages) describing original research results, case studies and tools; and short new ideas/work-in-progress papers (up to 6 pages) describing new approaches, techniques and/or tools that are not fully validated yet. The conference proceedings will be published by Springer Verlag in the Formal Methods subline of the Lecture Notes in Computer Science series.

Committees

Information about all committees can be found at http://sefm17.fbk.eu/committees.

Co-Chairs:
Alessandro Cimatti, Fondazione Bruno Kessler, Italy
Marjan Sirjani, Malardalen University, Sweden
 

Related Resources

HVC 2017   Haifa Verification Conference
CGDEIJ 2017   Computer Game Development and Education: An International Journal
ICAISE--IEEE, EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
IJSC 2017   International Journal on Soft Computing
ICCDE--Ei and Scopus 2018   ACM - 2018 International Conference on Computing and Data Engineering (ICCDE 2018)--Ei Compendex and Scopus
IJFCST 2017   International Journal in Foundations of Computer Science & Technology
SBMF 2017   20th Brazilian Symposium on Formal Methods
AI 2017   3rd International Conference on Artificial Intelligence and Applications
IEEE--ICAISE--EI and Scopus 2018   2018 International Conference on Artificial Intelligence and Software Engineering (ICAISE 2018)--IEEE, EI Compendex and Scopus
FMA 2018   Call for papers: 4th International Symposium Formal Methods in Architecture