<div dir="ltr"><br>--------------------------------------------------------------------<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>Concerning COVID-19<br><br>The Program Chairs and the Steering Committee of SEFM 2020 are fully aware<br>that the  COVID-19 crisis may require the organisation of alternatives to<br>the scheduled physical conference events, following the recommendations<br>of relevant national and international bodies, such as the World Health<br>Organization. Such possible alternative scenarios include the possibility<br>of remote paper presentations or a full electronic organisation of the<br>conference.<br>Any measures taken will be communicated via the SEFM website and via emails<br>to the authors and the PC.<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>CONFIRMED KEYNOTE LECTURES<br><br>Paola Inverardi<br>University of L'Aquila, Italy<br>Website: <a href="http://people.disim.univaq.it/inverard/">http://people.disim.univaq.it/inverard/</a><br><br>Eelco Visser<br>Delft University of Technology, Neteherlands<br>Website: <a href="https://eelcovisser.org/">https://eelcovisser.org/</a><br><br><br><br>PROGRAM COMMITTEE<br><br>Erika Abraham, RWTH Aachen University, Germany<br>Wolfgang Ahrendt, Chalmers University of Technology, Sweden<br>Alessandro Aldini, University of Urbino, Italy<br>Luís Soares Barbosa, University of Minho, Portugal<br>Maurice H. ter Beek, ISTI-CNR, Italy<br>Dirk Beyer, LMU, Germany<br>Frank de Boer (Co-chair), CWI, Netherlands<br>Ana Cavalcanti, University of York, United Kingdom<br>Antonio Cerone (Co-chair), Nazarbayev University, Kazakhstan<br>Alessandro Cimatti, FBK, Italy<br>Marieke Huisman, University of Twente, Netherlands<br>Alexander Knapp, Universität Augsburg, Germany<br>Jacopo Mauro, University of Southern Denmark, Denmark<br>Paolo Masci, National Institute of Aerospace, USA<br>Tiziana Margaria, Lero, Ireland<br>Peter Müller, ETH Zurich, Switzerland<br>Hans de Nivelle, Nazarbayev University, Kazakhstan<br>Peter Ölveczky, University of Oslo, Norway<br>Catuscia Palamidessi, INRIA, France<br>Anna Philippou, University of Cyprus, Cyprus<br>Ka I Pun, Western Norway University of Applied Sciences, Norway<br>Birna Riemsdijk, Delft University of Technology, Netherlands<br>Grigore Rosu, University of Illinois at Urbana-Champaign, USA<br>Gwen Salaün, University of Grenoble Alpes, France<br>Augusto Sampaio, Federal university of Pernambuco, Brazil<br>Gerardo Schneider, University of Gothenburg, Sweden<br>Ina Schaefer, Technische Universität Braunschweig, Germany<br>Robert Segala, University of Verona, Italy<br>Marjan Sirjani, Malardalen University, Sweden<br>Graeme Smith, The University of Queensland, Australia<br>Martin Steffen, University of Oslo, Norway<br>Meng Sun, Peking University, China<br>Silvia Lizeth Tapia Tarifa, University of Oslo, Norway<br>Simone Tini, Univerisity of Insubria, Italy<br>Elena Troubitsyna, KTH -Royal Institute of Technology, Sweden<br>Heike Wehrheim, University of Paderborn, Germany<br>Gianluigi Zavattaro, University of Bologna, Italy<br><br><br>CONTACT: <a href="mailto:sefm2020@easychair.org">sefm2020@easychair.org</a><br clear="all"><div><br></div><div>-- <br></div><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>