<div dir="ltr"><div dir="ltr"><div><br></div><div>---------------------------------------------------------------------</div><div>                     Final Call for Papers</div><div><br></div><div>                           SEFM 2019</div><div><br></div><div>17th International Conference on Software Engineering and Formal Methods</div><div><br></div><div>              Oslo, Norway, September 16-20, 2019</div><div><br></div><div>                    <a href="http://sefm2019.inria.fr">http://sefm2019.inria.fr</a></div><div>                      Twitter: @SEFM_conf</div><div><br></div><div>---------------------------------------------------------------------</div><div><br></div><div>IMPORTANT DATES</div><div><br></div><div>Abstract submission deadline:   May 13, 2019 (AoE) - EXTENDED DEADLINE</div><div>Paper submission deadline:      May 20, 2019 (AoE) - EXTENDED DEADLINE</div><div>Notification:                   June 25, 2019</div><div>Conference:                     September 16-20, 2019</div><div><br></div><div><br></div><div>OVERVIEW AND SCOPE</div><div><br></div><div>SEFM aims to bring together leading researchers and practitioners from</div><div>academia, industry, and government, to advance the state of the art in</div><div>formal methods, to facilitate their uptake in the software industry,</div><div>and to encourage their integration within practical software</div><div>engineering methods and tools.</div><div><br></div><div>Topics of interest include, but are not limited to, the following</div><div>aspects of software engineering and formal methods:</div><div><br></div><div># Software Development Methods</div><div>  - Formal modeling, specification, and design</div><div>  - Software evolution, maintenance, re-engineering, and reuse</div><div><br></div><div># Design Principles</div><div>  - Programming languages</div><div>  - Domain-specific languages</div><div>  - Type theory</div><div>  - Abstraction and refinement</div><div><br></div><div># Software Testing, Validation, and Verification</div><div>  - Model checking, theorem proving, and decision procedures</div><div>  - Testing and runtime verification</div><div>  - Statistical and probabilistic analysis</div><div>  - Synthesis</div><div>  - Performance estimation and analysis of other non-functional properties</div><div>  - Other light-weight and scalable formal methods</div><div><br></div><div># Security and Safety</div><div>  - Security, privacy, and trust</div><div>  - Safety-critical, fault-tolerant, and secure systems</div><div>  - Software certification</div><div><br></div><div># Applications and Technology Transfer</div><div>  - Service-oriented and cloud computing systems, Internet of Things</div><div>  - Component, object, multi-agent and self-adaptive systems</div><div>  - Real-time, hybrid, and cyber-physical systems</div><div>  - Intelligent systems and machine learning</div><div>  - HCI, interactive systems, and human error analysis</div><div>  - Education</div><div><br></div><div># Case studies, best practices, and experience reports</div><div><br></div><div><br></div><div>PAPER SUBMISSION</div><div><br></div><div>We solicit two categories of papers:</div><div><br></div><div>- Regular papers describing original research results, case studies, or</div><div>surveys. Regular papers should not exceed 15 pages, excluding bibliography.</div><div><br></div><div>- Tool papers that describe an operational tool and its contributions.</div><div>Tool papers should not exceed 6 pages (including bibliography) and should</div><div>include the URL of the tool.</div><div><br></div><div>All submissions must be original, unpublished, and not submitted</div><div>concurrently for publication elsewhere. Paper submission is done</div><div>via EasyChair at <a href="https://easychair.org/conferences/?conf=sefm2019">https://easychair.org/conferences/?conf=sefm2019</a></div><div>Papers must be formatted according to the guidelines for Springer LNCS</div><div>papers (see <a href="http://www.springer.com/lncs">http://www.springer.com/lncs</a>).</div><div><br></div><div><br></div><div>PUBLICATION</div><div><br></div><div>All accepted papers will appear in the proceedings of the conference that will</div><div>be published as a volume in Springer's LNCS series. </div><div><br></div><div>The authors of a selected subset of accepted papers will be invited to</div><div>submit extended versions of their papers to special issues of the journals</div><div>"Software and Systems Modeling" and "Formal Methods in System Design."</div><div><br></div><div><br></div><div>INVITED SPEAKERS</div><div><br></div><div>Wil van der Aalst (RWTH Aachen University, Germany)</div><div>David Basin (ETH Zurich, Switzerland)</div><div>Koushik Sen (University of California, Berkeley, USA)</div><div><br></div><div><br></div><div>PROGRAM CHAIRS</div><div><br></div><div>Peter Csaba Olveczky (University of Oslo, Norway)</div><div>Gwen Salaun (Universite Grenoble Alpes, France)</div><div><br></div><div>PROGRAM COMMITTEE</div><div><br></div><div>Erika Abraham (RWTH Aachen University, Germany)</div><div>Cyrille Artho (KTH Royal Institute of Technology, Sweden)</div><div>Kyungmin Bae (Pohang University of Science and Technology, South Korea)</div><div>Olivier Barais (University of Rennes, France)</div><div>Luis Barbosa (University of Minho, Portugal)</div><div>Dirk Beyer (LMU Munich, Germany)</div><div>Roberto Bruni (University of Pisa, Italy)</div><div>Ana Cavalcanti (University of York, UK)</div><div>Alessandro Cimatti (FBK-irst, Italy)</div><div>Robert Clariso (Open University of Catalonia, Spain)</div><div>Rocco De Nicola (IMT School for Advanced Studies Lucca, Italy)</div><div>John Derrick (Unversity of Sheffield, UK)</div><div>Jose Luiz Fiadeiro (Royal Holloway, University of London, UK)</div><div>Osman Hasan (National University of Sciences & Technology, Pakistan)</div><div>Klaus Havelund (Jet Propulsion Laboratory, US)</div><div>Reiko Heckel (University of Leicester, UK)</div><div>Marieke Huisman (University of Twente, The Netherlands)</div><div>Alexander Knapp (Augsburg University, Germany)</div><div>Nikolai Kosmatov (CEA LIST, France)</div><div>Frederic Mallet (Universite Nice Sophia Antipolis, France)</div><div>Tiziana Margaria (Lero, Ireland)</div><div>Hernan Melgratti (University of Buenos Aires, Argentina)</div><div>Madhavan Mukund (Chennai Mathematical Institute, India)</div><div>Marc Pantel (IRIT/INPT, Universite de Toulouse, France)</div><div>Anna Philippou (University of Cyprus)</div><div>Grigore Rosu (University of Illinois, US)</div><div>Augusto Sampaio (Federal university of Pernambuco, Brazil)</div><div>Cesar Sanchez (IMDEA Software Institute, Spain)</div><div>Ina Schaefer (Technische  Universitat Braunschweig, Germany)</div><div>Graeme Smith (The University of Queensland, Australia)</div><div>Jun Sun (Singapore University of Technology and Design)</div><div>Maurice H. Ter Beek (ISTI-CNR, Pisa, Italy)</div><div>Antonio Vallecillo (University of Malaga, Spain)</div><div>Daniel Varro (Budapest University of Technology and Economics, Hungary & McGill University, Canada)</div><div>Heike Wehrheim (University of Paderborn, Germany)</div><div>Franz Wotawa (University of Graz, Austria)</div><div><br></div></div></div>