SEFM - Deadline extension and move to virtual modality

--------------------------------------------------------------------

              UPDATE: SEFM - Deadline extension and move to virtual modality

                            SEFM 2020

                 18th International Conference on

              Software Engineering and Formal Methods

           Amsterdam, The Netherlands, 14-18 September 2020

                   https://event.cwi.nl/sefm2020/

--------------------------------------------------------------------

IMPORTANT DATES

NEW Abstract submission deadline:      Sunday 24 May  2020 (AoE)

NEW Paper submission deadline:         Sunday 31  May 2020 (AoE)

Paper notification:                    Friday 26 June 2020

Camera ready:                          Tuesday 7 July 2020 (AoE)

SEFM 2020 WILL BE AN ENTIRELY VIRTUAL EVENT

Because of the COVID-19 pandemic, we have decided that SEFM 2020 will

not take place physically but will be replaced by a virtual event.

As usual, a LNCS proceedings will be prepared and all accepted papers

have to be presented at the virtual conference. How the virtual

conference will be organised is still under consideration, e.g.,

live presentations and/or recorded ones. The paper selection process

will however proceed as planned (apart from the above mentioned

deadline extensions).

OVERVIEW AND SCOPE

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.

Topics of interest include, but are not limited to, the following

aspects of software engineering and formal methods:

# Software Development Methods

  - Formal modeling, specification, and design

  - Software evolution, maintenance, re-engineering, and reuse

# Design Principles

  - Programming languages

  - Domain-specific languages

  - Type theory

  - Abstraction and refinement

# Software Testing, Validation, and Verification

  - Model checking, theorem proving, and decision procedures

  - Testing and runtime verification

  - Statistical and probabilistic analysis

  - Synthesis

  - Performance estimation and analysis of other non-functional

    properties

  - Other light-weight and scalable formal methods

# Security and Safety

  - Security, privacy, and trust

  - Safety-critical, fault-tolerant, and secure systems

  - Software certification

# Applications and Technology Transfer

  - Service-oriented and cloud computing systems, Internet of Things

  - Component, object, multi-agent and self-adaptive systems

  - Real-time, hybrid, and cyber-physical systems

  - Intelligent systems and machine learning

  - HCI, interactive systems, and human error analysis

  - Education

# Case studies, best practices, and experience reports

PAPER SUBMISSION

We solicit two categories of papers:

- Regular papers describing original research results, case studies,

  or surveys. Regular papers should not exceed 15 pages, excluding

  bibliography.

- Tool papers that describe an operational tool and its

  contributions. Tool papers should not exceed 6 pages (including

  bibliography) and should include the URL of the tool.

All submissions must be original, unpublished, and not submitted

concurrently for publication elsewhere. Paper submission is done

via EasyChair at https://easychair.org/conferences/?conf=sefm2020

Papers must be formatted according to the guidelines for Springer

LNCS papers (see http://www.springer.com/lncs).

PUBLICATION

All accepted papers will appear in the proceedings of the conference

that will be published as a volume in the Formal Methods sublime of

the Springer's LNCS series. 

The authors of a selected subset of accepted papers will be invited

to submit extended versions of their papers to a journal special

issue.

CONFIRMED KEYNOTE LECTURES

Paola Inverardi

University of L'Aquila, Italy

Website: http://people.disim.univaq.it/inverard/

Eelco Visser

Delft University of Technology, Neteherlands

Website: https://eelcovisser.org/

PROGRAM COMMITTEE

Erika Abraham , RWTH Aachen University , Germany

Wolfgang Ahrendt , Chalmers University of Technology , Sweden

Alessandro Aldini , University of Urbino , Italy

Luís Soares Barbosa , University of Minho , Portugal

Maurice H. ter Beek , ISTI-CNR, Italy

Dirk Beyer , LMU , Germany

Frank de Boer (co-chair), CWI , Netherlands

Ana Cavalcanti , University of York , United Kingdom

Antonio Cerone (co-chair), Nazarbayev University , Kazakhstan

Alessandro Cimatti , FBK , Italy

Marieke Huisman , University of Twente , Netherlands

Alexander Knapp , Universität Augsburg , Germany

Jacopo Mauro , University of Oslo , Norway

Paolo Masci , National Institute of Aerospace , USA

Tiziana Margaria , Lero , Ireland

Peter Müller , ETH Zurich , Switzerland

Hans de Nivelle , Nazarbayev University , Kazakhstan

Peter Ölveczky , University of Oslo , Norway

Catuscia Palamidessi , INRIA , France

Anna Philippou , University of Cyprus , Cyprus

Ka I Pun , Western Norway University of Applied Sciences, Norway

Birna Riemsdijk , Delft University of Technology , Netherlands

Grigore Rosu , University of Illinois at Urbana-Champaign , USA

Gwen Salaün , University of Grenoble Alpes , France

Augusto Sampaio , Federal university of Pernambuco , Brazil

Gerardo Schneider , University of Gothenburg , Sweden

Ina Schaefer , Technische Universität Braunschweig , Germany

Robert Segala, University of Verona, Italy

Marjan Sirjani , Malardalen University, Sweden

Graeme Smith , The University of Queensland , Australia

Martin Steffen , University of Oslo , Norway

Meng Sun , Peking University , China

Silvia Lizeth Tapia Tarifa , University of Oslo , Norway

Simone Tini , Univerisity of Insubria , Italy

Elena Troubitsyna , KTH -Royal Institute of Technology , Sweden

Heike Wehrheim , University of Paderborn , Germany

Gianluigi Zavattaro , University of Bologna , Italy

Workshop Co-chairs

CONTACT: [email protected]