Call for Papers

Submission types

We invite you to submit:

  • Full research papers that must describe authors’ original research work and results. We encourage authors to include validation with respect to a case study in the recommended themes.
  • 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.

For the case studies, we aim at having common domains and themes, which can facilitate the exchange of ideas during the conference. While all case study subjects are accepted, we are particularly interested in the following themes: autonomous vehicles and Covid contact tracing apps.

Submission Guidelines

FormaliSE 2021 will implement the following light-weight double-blind policy: Authors of research papers must omit their names and institutions from the title page, they should refer to their other work in the third person and omit acknowledgments that could reveal their identity or affiliation. The purpose is to avoid any bias based on authors’ identity characteristics, such as gender, seniority, or nationality, in the review process. Our goal is to facilitate an unbiased approach to reviewing by supporting reviewers’ access to works that do not carry obvious references to the authors’ identities. As mentioned above, this is a light-weight double-blind process. Anonymization should not be a heavy burden for authors and should not make papers weaker or more difficult to review. Advertising the paper on alternate forums (e.g., on a personal web-page, pre-print archive, email, talks, discussions with colleagues) is permitted, and authors will not be penalized for such advertisement.

Full papers are expected to be roughly 10 pages long including all text, figures, tables, and appendices, but excluding the references (shorter papers are acceptable). However, we would like to avoid that the authors waste time fitting their papers into that limit at the expense of presentation clarity: paper lengths slightly exceeding the stated limit will be tolerated provided that the presentation is of high quality, which will be left at the appreciation of the reviewers. Research ideas papers are expected to be roughly 4 pages plus up to 1additional page of references, with the same guiding principle as for the regular papers above. All submissions must be in English and in PDF format.

Submissions must conform to the IEEE formatting instructions IEEEConference Proceedings FormattingGuidelines (title in 24pt font and full text in 10pt type). LaTeX users must use \documentclass[10pt,conference]{IEEEtran} without including the compsoc or compsocconf options. Additionally, we recommend placing the following two lines in your LaTeX source right after the \documentclass command:


This adds line numbers, thereby allowing reviewers to refer to specific lines in their comments.

Papers submitted to FormaliSE 2021 must not have been published elsewhere and must not be under review or submitted for review elsewhere whilst under consideration for FormaliSE 2021.

Submissions to FormaliSE 2021 that meet the above requirements can be made via EasyChair by the submission deadline.

We would appreciate it if the authors intending to submit a paper were to inform us in advance. In particular, we invite them to submit an abstract as early as possible and, in any case, before the Abstract submission deadline below.

Selection procedure

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.

FormaliSE 2021 will implement a light-weight rebuttal scheme: if all the reviewers of a given submission agree that a clarification from the authors regarding one specific question could move a borderline paper into the acceptable range, the chairs will ask that question to the authors by e-mail and post their reply on EasyChair for the benefit of the reviewers. The goal of such light-weight rebuttals is to eliminate“coin-toss” decisions on borderline papers. Hence, it will clearly concern only a minority of submissions and most of the authors should not expect to receive such questions. However, we would ask the corresponding authors of all submissions to make sure that they are available to answer a question by email if the necessity were to arise.


All accepted publications are published as part of the ICSE 2021Proceedings in the ACM and IEEE Digital Libraries.

At least one author of each accepted paper is required to attend the conference — physically or, if the circumstances warrant so, virtually —and present the paper in person. Otherwise, the paper will be removed from the proceedings.

Important dates

  • Abstracts due: 5 January  2021
  • Submissions due: 12 January  2021
  • Notifications: 22 February 2021
  • Camera-ready copies: 22 March 2021
  • FormaliSE conference: 17-21 May   2021