********************************************************************
Call for Papers

FORMALISE 2020

8th Conference on
Formal Methods in Software Engineering

May 25-26, Seoul, South Korea, co-located with ICSE 2020

http://www.formalise.org/
********************************************************************



The software industry has a long-standing and well-earned reputation
for failing to deliver high-quality software. Much progress has been
achieved from the early days of software development; still, nowadays,
even considering the state of the art of the technologies used, the
success of software projects is often not guaranteed. Many of the
approaches used for developing large, complex software system are
still not able to ensure the correct behavior --- and the general
quality --- of the delivered product, despite the efforts of the
(often very qualified and skilled) software engineers involved. This
is where formal methods can play a significant role. Indeed, they have
been developed to provide the means for greater precision and
thoroughness in modeling, reasoning about, validating, and documenting
the various aspects of software systems during their development. When
carefully applied, formal methods can aid all aspects of software
creation: user requirement formulation, design, implementation,
verification/testing, and the creation of documentation.

After decades of research though, and despite significant advancement,
formal methods are still not widely used in industrial software
development. We believe that a closer integration of formal methods in
software engineering can help increase the quality of software
applications, and at the same time highlight the benefits of formal
methods in terms also of the generated return on investment (ROI).

The main objective of the conference is to foster the integration
between the formal methods and the software engineering communities,
to strengthen the --- still too weak --- links between them, and to
stimulate researchers to share ideas, techniques, and results, with
the ultimate goal to propose novel solutions to the fraught problem of
improving the quality of software systems.

Originally a successful satellite workshop of ICSE, since 2018
FormaliSE is organised as a conference co-located with ICSE. FormaliSE
2020 will take place on May 25-26, 2020, in Seoul, South Korea.

Areas of interest include but are not limited to:

- approaches and tools for verification and validation;
- application of formal methods to specific domains, e.g.
autonomous, cyber-physical, intelligent, and IoT systems;
- scalability of formal methods applications;
- integration of formal methods within the software development
lifecycle (e.g., change management, CI/CD)
- requirements formalization and formal specification;
- model-based engineering approaches;
- performance analysis based on formal approaches;
- formal methods in a certification context;
- formal approaches for safety and security-related issues;
- usability of formal methods;
- guidelines to use formal methods in practice;
- case studies developed/analyzed with formal approaches;
- experience reports on the application of formal methods to
real-world problems;

We invite you to submit:

- Full research papers that must describe authors' original
research work and results.

- Case study papers that should identify lessons learned, validate
theoretical results (such as scalability of methods) or provide
specific motivation for further research and development.

- Research ideas: FormaliSE encourages the submissions of new
research ideas in order to stimulate discussions at the
conference.

Full and case study papers are limited to 10 pages, including all
text, figures, tables, and appendices, plus up to 2 additional pages
of references; research ideas papers are limited to 4 pages plus up to
1 additional page of references. All submissions must be in English
and in PDF format. The page limit is strict, and it will not be
possible to purchase additional pages at any point in the process
(including after the paper is accepted).

Formatting instructions are available at
(https://www.acm.org/publications/proceedings-template) for both LaTeX
and Word users. LaTeX users must use the provided acmart.cls and
ACM-Reference-Format.bst *without modification*, enable the conference
format in the preamble of the document (i.e.,
`\documentclass[sigconf,review]{acmart}`), and use the ACM reference
format for the bibliography (i.e.,
`\bibliographystyle{ACM-Reference-Format}`). The review option adds
line numbers, thereby allowing referees to refer to specific lines in
their comments.

Papers submitted to FormaliSE 2020 must not have been published
elsewhere and must not be under review or submitted for review
elsewhere whilst under consideration for FormaliSE 2020. Submissions
to FormaliSE 2020 that meet the above requirements can be made via the
submission site (https://formalise2020.hotcrp.com/) by the submission
deadline.

Each paper will be reviewed by at least three program committee
members. Papers will be judged on the basis of their clarity,
relevance, originality, and contribution to the field.

All accepted publications are published as part of the ICSE 2020
Proceedings in the ACM and IEEE Digital Libraries. The official
publication date of the conference proceedings is the date the
proceedings are made available in the ACM Digital Library. The
official publication date affects the deadline for any patent filings
related to published work.

If a submission is accepted, at least one author of the paper is
required to attend the conference and present the paper in person. If
not, the paper will be removed from the proceedings.

Important dates:

Abstract submission: 16 January 2020
Paper submission: 23 January 2020
Notifications: 1 March 2020
Camera ready copies: 16 March 2020
FormaliSE conference: 25-26 May 2020

General Chairs

Stefania Gnesi, ISTI-CNR, Italy
Nico Plat, Thanos, The Netherlands

Program Chairs

Kyungmin Bae, POSTECH (Pohang University of Science and Technology), South Korea
Domenico Bianculli, University of Luxembourg, Luxembourg

We can be reached at oc@formalise.org. If you intend to submit a paper
you are invited to inform us in advance.

The program committee consists of:

Ebru Aydin Gol, Middle East Technical University, Turkey
Toshiaki Aoki, JAIST, Japan
Maurice ter Beek, ISTI-CNR Pisa, Italy
Simon Bliudze, Inria Lille - Nord Europe, France
Einar Broch Johnsen, University of Oslo, Norway
Ana Cavalcanti, University of York, UK
Yunja Choi, Kyungpook National University, South Korea
Nancy Day, University of Waterloo, Canada
Marc Frappier, Université de Sherbrooke, Canada
Carlo A. Furia, USI (Università della Svizzera italiana), Switzerland
Osman Hasan, National University of Sciences & Technology, Pakistan
Marie-Christine Jakobs, TU Darmstadt, Germany
Eunsuk Kang, Carnegie Mellon University, USA
Axel Legay, UC Louvain, Belgium
Mieke Massink, ISTI-CNR Pisa, Italy
Claudio Menghi, University of Luxembourg, Luxembourg
Magnus O. Myreen, Chalmers University of Technology, Sweden
Kazuhiro Ogata, Japan Advanced Institute of Science and Technology, Japan
Peter Ölveczky, University of Oslo, Norway
Patrizio Pelliccione, University of L'Aquila, Italy and Chalmers | University of Gothenburg, Sweden
Rahul Purandare, IIIT-Delhi, India
Matteo Rossi, Politecnico di Milano, Italy
Gwen Salaün, Université Grenoble Alpes, France
Gerardo Schneider, University of Gothenburg, Sweden
Sibylle Schupp, Hamburg University of Technology, Germany
Jorge Sousa Pinto, University of Minho & INESC TEC, Portugal
Paola Spoletini, Kennesaw State University, USA
Meng Sun, Peking University, China
Stefano Tonetta, FBK, Italy
Michael Whalen, Amazon, Inc., USA