IEEE TCSE     SigSoft     ICSE 2021

Welcome to FormaliSE!

Update 5 January 2021

Dear all,

In the name of the Program and Organising committees of FormaliSE 2021, we wish you a happy and productive 2021. Let it bring success to your projects without calling for any sacrifices in the work-life balance!

To make our contribution towards these goals, we have decided to extend the FormaliSE 2021 abstract and paper submission deadlines to 12/01 and 19/01 (AoE), respectively. 

In order to be able to follow the rest of the initially planned schedule and, in particular, to be able to send out the decision notifications on the 22/02, we have decided to maintain an abstract submission deadline 3 days ahead of the paper submission one. 

Please note that, for instance, "10 pages" mentioned in the CfP for full papers is a recommendation, not a limit. Our goal is the quality of the papers, so we expect a good trade-off between the length and the readability of the paper: we prefer a paper that is slightly over 10 pages but is easy to read to a paper that is strictly 10 pages but omits clarifying details or examples. 

Do submit an abstract as soon as possible. Even if it is not the final version (abstracts can be updated even after the abstract submission deadline), it will give the Program Committee some indications as to what to expect.

With our best wishes for 2021,
 
Laura Semini and Simon Bliudze
FormaliSE 2021 PC Chairs