[TYPES/announce] SEFM - Deadline extension and move to virtual modality

[Jacopo Mauro]

--------------------------------------------------------------------
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: sefm2020 at easychair.org

-- 
Jacopo Mauro, Associate Professor
Department of Mathematics and Computer Science (IMADA)
University of Southern Denmark (SDU)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://LISTS.SEAS.UPENN.EDU/pipermail/types-announce/attachments/20200428/eede26a5/attachment.html>