conferences.computer.science

All conferences / SEFM / 2018

SEFM 2018

16th International Conference on Software Engineering and Formal Methods

Held27–29 Jun 2018 WhereToulouse 🇫🇷 RankCORE B Website www.isf.cs.tu-bs.de/cms/events/sefm2018/ ↗
Closed

Submission closed on 9 Mar 2018, after an extension of 7 days.

Submission timeline

  • 2 Mar 2018 Abstract registration 23 Feb 2018 → 2 Mar 2018 +7 days
  • 9 Mar 2018 Full paper 2 Mar 2018 → 9 Mar 2018 +7 days
  • 9 Apr 2018 Notification
  • 27 Jun 2018 Conference opens

What to submit

Format
15 pages (research / tools / case studies) / 6 pages (New ideas/Work-in-Progress) LNCS
Proceedings
Springer LNCS — Paywalled, for-profit

Part of STAF 2018. Appendix: 2 pages allowed (not integrated in the proceedings).

Call for papers

The call, as published

Reproduced verbatim from the organisers’ announcement, after a deadline extension. The conference’s own page is at www.isf.cs.tu-bs.de/cms/events/sefm2018/. 

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

*** EXTENDED DEADLINE ***
Abstract Submission: 2 March 2018
Full Paper Submission: 9 March 2018

************************
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=sefm18

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)

************************
KEYNOTES
************************
SEFM 2018 will feature two exciting keynotes:

*** Mark Harman (Facebook / University College London) ***
We Need a Formal Semantics for Testability Transformation; SEFM community to
the rescue?

*** Andrzej Wasowski (IT University of Copenhagen) ***
Hunting Resource Manipulation Bugs in Linux Kernel Code

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

Data entirely hand-typed, one call for papers at a time. There is no scraper behind any of this: I read the announcement and type the dates in, in the gaps between other work, and with the hope it is useful to others. Organisers then move deadlines without telling anyone, calls get edited in place, and now and then the typing is simply wrong. Treat this as a well-meaning notebook rather than an authority, and check the conference’s own page before you submit anything you care about.