[SystemSafety] CFP: "Formal Verification" track at embedded world Conference 2023

[Roberto Bagnara]

[Apologies if you receive multiple copies of this message]

Now in its 21st edition, the embedded world Exhibition & Conference
2023 will be staged from March 14th to March 16th 2023 in
Nuremberg. The embedded world Conference is calling for papers for a
special track on "Formal Verification".

Formal verification is now a mature field with significant industrial
adoption. Functional safety standards, such as DO-178C, IEC 61508 and
ISO 26262, recommend or highly recommend formal verification
especially for the most critical safety functions.

Due to the ever increasing complexity of software that is embedded in
critical systems to implement safety-relevant functions, the use of
formal methods is, by necessity, going to increase across all
industries.

Papers are solicited on all aspects of the application of formal
verification techniques in industry. Precedence will be given to
papers describing:

- formal verification techniques already included in software
   verification tools;
- formal verification techniques that can be applied without extensive
   retraining of personnel (e.g., to enable the use of temporal logic
   specifications);
- experiences of adoption of formal verification into an organization.

The "Formal Verification" track is coordinated by Roberto Bagnara,
Professor of Computer Science at the University of Parma (Italy), and
Andreas Podelski, Professor of Computer Science at the University of
Freiburg (Germany).

Please submit your proposal at:
https://call-for-papers.weka-fachmedien.de/frontend/index.php?sub=312

Submission until 7th October 2022, selecting the topic
“06.11: Formal Verification”.
Authors will be notified by End of November 2022.
Presentations shall be submitted by 18th February 2023.

Papers should be submitted for publication in the conference
proceedings, which will be published soon after the event.

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematical, Physical and Computer Sciences
University of Parma, Italy