<div dir="ltr">--------------------------------------------------------------------<br>                          Call for Papers<br><br>                            SEFM 2020<br><br>                 18th International Conference on<br>              Software Engineering and Formal Methods<br><br>           Amsterdam, The Netherlands, 14-18 September 2020<br><br>                   <a href="https://event.cwi.nl/sefm2020/">https://event.cwi.nl/sefm2020/</a><br><br>--------------------------------------------------------------------<br><br>IMPORTANT DATES<br><br>Abstract submission deadline:          Monday 27 April 2020 (AoE)<br>Paper submission deadline:             Monday 4 May 2020 (AoE)<br>Paper notification:                    Friday 26 June 2020<br>Camera ready:                          Tuesday 7 July 2020 (AoE)<br><br><br>OVERVIEW AND SCOPE<br><br>SEFM aims to bring together leading researchers and practitioners<br>from academia, industry, and government, to advance the state of<br>the art in formal methods, to facilitate their uptake in the<br>software industry, and to encourage their integration within<br>practical software engineering methods and tools.<br><br>Topics of interest include, but are not limited to, the following<br>aspects of software engineering and formal methods:<br><br># Software Development Methods<br>  - Formal modeling, specification, and design<br>  - Software evolution, maintenance, re-engineering, and reuse<br><br># Design Principles<br>  - Programming languages<br>  - Domain-specific languages<br>  - Type theory<br>  - Abstraction and refinement<br><br># Software Testing, Validation, and Verification<br>  - Model checking, theorem proving, and decision procedures<br>  - Testing and runtime verification<br>  - Statistical and probabilistic analysis<br>  - Synthesis<br>  - Performance estimation and analysis of other non-functional<br>    properties<br>  - Other light-weight and scalable formal methods<br><br># Security and Safety<br>  - Security, privacy, and trust<br>  - Safety-critical, fault-tolerant, and secure systems<br>  - Software certification<br><br># Applications and Technology Transfer<br>  - Service-oriented and cloud computing systems, Internet of Things<br>  - Component, object, multi-agent and self-adaptive systems<br>  - Real-time, hybrid, and cyber-physical systems<br>  - Intelligent systems and machine learning<br>  - HCI, interactive systems, and human error analysis<br>  - Education<br><br># Case studies, best practices, and experience reports<br><br><br>PAPER SUBMISSION<br><br>We solicit two categories of papers:<br><br>- Regular papers describing original research results, case studies,<br>  or surveys. Regular papers should not exceed 15 pages, excluding<br>  bibliography.<br><br>- Tool papers that describe an operational tool and its<br>  contributions. Tool papers should not exceed 6 pages (including<br>  bibliography) and should include the URL of the tool.<br><br>All submissions must be original, unpublished, and not submitted<br>concurrently for publication elsewhere. Paper submission is done<br>via EasyChair at <a href="https://easychair.org/conferences/?conf=sefm2020">https://easychair.org/conferences/?conf=sefm2020</a><br>Papers must be formatted according to the guidelines for Springer<br>LNCS papers (see <a href="http://www.springer.com/lncs">http://www.springer.com/lncs</a>).<br><br><br>PUBLICATION<br><br>All accepted papers will appear in the proceedings of the conference<br>that will be published as a volume in the Formal Methods sublime of<br>the Springer's LNCS series. <br><br>The authors of a selected subset of accepted papers will be invited<br>to submit extended versions of their papers to a journal special<br>issue.<br><br><br>PROGRAM CO-CHAIRS<br><br>Frank de Boer (CWI, The Netherlands)<br>Antonio Cerone (Nazarbayev University, Kazakhstan)<br><br><br>CONTACT: <a href="mailto:sefm2020@easychair.org">sefm2020@easychair.org</a><br>-- <br><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div><div dir="ltr"><div><div dir="ltr"><div dir="ltr"><span style="color:rgb(136,136,136)">Jacopo Mauro, </span><span style="color:rgb(136,136,136)">Associate</span><span style="color:rgb(136,136,136)"> </span><span style="color:rgb(136,136,136)">Professor</span><br style="color:rgb(136,136,136)"><span style="color:rgb(136,136,136)">Department of Mathematics and Computer Science (IMADA)</span><br style="color:rgb(136,136,136)"><span style="color:rgb(136,136,136)">University of Southern Denmark (SDU)</span><br></div></div></div></div></div></div></div></div>