FormaliSE 2020 : 8th International Conference on Formal Methods in Software Engineering

  in Conferences   Posted on October 28, 2019

Conference Information

Submission Deadline Thursday 16 Jan 2020 Proceedings indexed by :
Conference Dates May 25, 2020 - May 26, 2020
Conference Address Seoul, South Korea
Conference & Submission Link
Conference Organizers : ( Deadline extended ? Click here to edit )

Conference Call for Papers


Call for Papers


8th Conference on

Formal Methods in Software Engineering

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


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


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

( 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 ( by the submission


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: 9 January 2020

Paper submission: 16 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 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

Other Conferences in South Korea

ICGSE 2020 : IEEE International Conference on Global Software Engineering

Deadline :
Fri 24 Jan 2020
May 23, 2020 - May 30, 2020 - Seoul
South Korea

ICPC 2020 : 28th International Conference on Program Comprehension

Deadline :
Fri 24 Jan 2020
May 23, 2020 - May 24, 2020 - Seoul
South Korea

Web3D 2020 : International Conference on 3D Web Technology

Deadline :
Sat 22 Feb 2020
Jun 24, 2020 - Jun 26, 2020 - Seoul
South Korea