SEFM: Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle

 

Past:   Proceedings on DBLP

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

 
 

All CFPs on WikiCFP

Event When Where Deadline
SEFM 2018 The 16th International Conference on Software Engineering and Formal Methods
Jun 27, 2018 - Jun 29, 2018 Toulouse, France Mar 2, 2018 (Feb 23, 2018)
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 : 2018

SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods
will be part of STAF 2018 in Toulouse, France, 27-29 June 2018.

https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
Twitter: @SEFM_conf

************************
CALL FOR PAPERS
************************

SEFM 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.

*** IMPORTANT DATES ***
Abstract Submission: Friday 23 February 2018
Full Paper Submission: 2 March 2018
Notification: Monday 9 April 2018
Camera ready: Monday 23 April 2018
Conference: 27-29 June 2018

SEFM 2018: The 16th International Conference on Software Engineering and Formal Methods
will be part of STAF 2018 in Toulouse, France, 27-29 June 2018.

https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
Twitter: @SEFM_conf

************************
CALL FOR PAPERS
************************

SEFM 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.

*** TRACKS AND TOPICS OF INTEREST ***

The topics of interest for submission include, but are not limited to, the following aspects of software engineering and formal methods:

- Software development methods: requirement analysis, modeling, specification and design; light-weight and scalable formal methods; software evolution, maintenance, re-engineering and reuse.
- Design principles: programming languages; domain specific languages; type theory; abstraction and refinement, correctness-by-construction
- Software verification and testing: model checking, theorem proving and decision procedures; verification and validation; probabilistic verification and synthesis; testing.
- Functional and non-functional system properties, such as safety-critical, fault-tolerant and secure systems; software certification; performance analysis and management, resource-constrained computing, energy-aware computing.
- Design principles and analysis techniques for different system paradigms, such as self-adaptive, service-oriented and cloud computing systems; component-based, object-oriented and multi-agent systems; real-time, hybrid and embedded systems; reconfigurable and variant-rich systems, intelligent systems, e.g., based on machine learning algorithms
- Application and technology transfer: case studies, best practices and experience reports; tool integration; education; HCI, interactive systems and human error analysis.

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. We are planning to publish the proceedings in the Formal Methods subline of Springer's LNCS series. Papers must be submitted in PDF format at the EasyChair submission site:

https://easychair.org/conferences/?conf=nfm2018

Information about all committees can be found at https://www.isf.cs.tu-bs.de/cms/events/sefm2018/committees/.

*** IMPORTANT DATES ***
Abstract Submission: Friday 23 February 2018
Full Paper Submission: 2 March 2018
Notification: Monday 9 April 2018
Camera ready: Monday 23 April 2018
Conference: 27-29 June 2018

*** CO-CHAIRS ***
Einar Broch Johnsen (University of Oslo, Norway)
Ina Schaefer (Technische Universit├Ąt Braunschweig, Germany)

Website: https://www.isf.cs.tu-bs.de/cms/events/sefm2018
 

Related Resources

FACS 2018   15th International Conference on Formal Aspects of Component Software
SBMF 2018   21st Brazilian Symposium on Formal Methods
CGDEIJ 2018   Computer Game Development and Education
FMCAD 2018   International Conference on Formal Methods in Computer-Aided Design
CONCUR 2018   29th International Conference on Concurrency Theory
ICSE Workshops 2018   ACM Workshops@International Conference on Software Engineering
ICFEM 2018   20TH INTERNATIONAL CONFERENCE ON FORMAL ENGINEERING METHODS
ICSE 2019   International Conference on Software Engineering
ISCSAI 2018   2018 International Symposium on Computer Science and Artificial Intelligence