posted by user: hossein_haeri || 4537 views || tracked by 18 users: [display]

SEFM 2018 : The 16th International Conference on Software Engineering and Formal Methods

FacebookTwitterLinkedInGoogle


Conference Series : Software Engineering and Formal Methods
 
Link: https://www.isf.cs.tu-bs.de/cms/events/sefm2018/
 
When Jun 27, 2018 - Jun 29, 2018
Where Toulouse, France
Abstract Registration Due Feb 23, 2018
Submission Deadline Mar 2, 2018
Notification Due Apr 9, 2018
Final Version Due Apr 23, 2018
Categories    software development   programming languages   formal methods
 

Call For Papers

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

SEFM 2021   The 19th edition of the International Conference on Software Engineering and Formal Methods
ECOOP 2022   European Conference on Object-Oriented Programming
Computer SI on SE4RAI 2023   IEEE Computer - Special Issue on Software Engineering for Responsible AI
FormaliSE 2022   10th International Conference on Formal Methods in Software Engineering
SOFT 2022   8th International Conference on Software Engineering SOFT
ASE 2022   37th IEEE/ACM International Conference on Automated Software Engineering
Petri Nets 2022   43rd International Conference on Application and Theory of Petri Nets and Concurrency
SIMULTECH 2022   12th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
PRAI--IEEE, Scopus, Ei 2022   IEEE--2022 the 5th International Conference on Pattern Recognition and Artificial Intelligence (PRAI 2022)--Scopus, Ei Compendex
ICAASE 2022   The 5th International Conference on Advanced Aspects of Software Engineering