[Hol-info] CFP SEFM - International Conference on Software Engineering and Formal Methods

[Jacopo M. <mau...@gm...>]

--------------------------------------------------------------------
                          Call for Papers

                            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

Abstract submission deadline:          Monday 27 April 2020 (AoE)
Paper submission deadline:             Monday 4 May 2020 (AoE)
Paper notification:                    Friday 26 June 2020
Camera ready:                          Tuesday 7 July 2020 (AoE)


Concerning COVID-19

The Program Chairs and the Steering Committee of SEFM 2020 are fully aware
that the  COVID-19 crisis may require the organisation of alternatives to
the scheduled physical conference events, following the recommendations
of relevant national and international bodies, such as the World Health
Organization. Such possible alternative scenarios include the possibility
of remote paper presentations or a full electronic organisation of the
conference.
Any measures taken will be communicated via the SEFM website and via emails
to the authors and the PC.


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 Southern Denmark, Denmark
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


CONTACT: sef...@ea...

-- 
Jacopo Mauro, Associate Professor
Department of Mathematics and Computer Science (IMADA)
University of Southern Denmark (SDU)