<div dir="ltr">********************************************************************<br>New in FormaliSE 2024!<br><br>FormaliSE 2024 submission deadline is in **December 2023** (instead of<br>January as in previous years). This is because ICSE 2024, and hence<br>FormaliSE which is co-located, will take place around a month earlier<br>than usual.<br><br>********************************************************************<br><br><br>********************************************************************<br><br>Call for Papers: FormaliSE 2024<br><br>International Conference on Formal Methods in Software Engineering<br><br>April 14-15, in Lisbon, Portugal, co-located with the International Conference on Software Engineering (ICSE2024)<br><br><a href="https://urldefense.com/v3/__https://formalise2024.github.io__;!!IBzWLUs!WwcDi8yU5kqw93iN93an-S5c-vsdbtCUS8XtUkfDv2UIKyONcRuMZMPHnR7v2E0Wp8oZaCoeuE7TgBt1TtEgEnIDOu-X5IE$" rel="noreferrer" target="_blank">https://formalise2024.github.io</a><br><br>********************************************************************<br><br>Overview<br>**************<br>Historically, formal methods academic research and practical software<br>development have had limited mutual interactions — except possibly in<br>specialized domains such as safety-critical software. In recent times,<br>the outlook has considerably improved: on the one hand, formal methods<br>research has delivered more flexible techniques and tools that can<br>support various aspects of the software development process — from user<br>requirements elicitation, to design, implementation, verification and<br>validation, as well as the creation of documentation. On the other<br>hand, software engineering has developed a growing interest in<br>rigorous techniques applied at scale.<br><br>The FormaliSE conference series promotes work at the intersection of<br>the formal methods and software engineering communities, providing a<br>venue to exchange ideas, experiences, techniques, and results. We<br>believe more collaboration between these two communities can be<br>mutually beneficial by fostering the creation of formal methods that<br>are practically useful and by helping develop higher-quality software.<br><br>Originally a workshop event, since 2018 FormaliSE has been organized<br>as a conference co-located with ICSE. The 12th edition of FormaliSE<br>will also take place as a co-located conference of ICSE 2024.<br><br>Topics of Interest<br>**********************<br>Area of interest (include but are not limited to):<br><br>* requirements formalization and formal specification;<br>* approaches, methods, and tools for verification and validation;<br>* formal approaches to safety and security related issues;<br>* analysis of performance and other non-functional properties based on formal approaches;<br>* scalability of formal method applications;<br>* integration of formal methods within the software development lifecycle<br>  (e.g., change management, continuous integration, regression testing, and deployment);<br>* model-based engineering approaches;<br>* correctness-by-construction approaches for software and systems engineering;<br>* application of formal methods to specific domains (such as, autonomous, cyber-physical, intelligent, and IoT systems);<br>* formal methods for AI-based systems, and AI applied in formal method approaches;<br>* formal methods for certification;<br>* guidelines to use formal methods in practice;<br>* usability of formal methods;<br><br>Important Dates<br>*********************<br>===================== =========== ====<br>Abstracts due:                          1 December 2023  <br>Submissions due:                        8 December 2023  <br>Notifications:                          12 January 2024  <br>Camera ready copies:            28 January 2024  <br>FormaliSE conference:           14-15 April 2024 <br>===================== =========== ====<br><br>Paper Submission Guidelines<br>*********************************<br>We accept papers in three categories:<br><br>*  Full research papers describing original research work and<br>   results. We encourage authors to include validation of their<br>   contributions by means of a case study or experiments.  We also<br>   welcome research papers focusing on tools and tool development.<br><br>*  Case study papers discussing a significant application that<br>   suggests general lessons learned and motivates further research, or<br>   empirically validates theoretical results (such as a technique's<br>   scalability).<br><br>*  Research ideas papers describing new ideas in preliminary form,<br>   in a way that can stimulate interesting discussions at the<br>   conference, and suggest future work.<br><br>All papers submitted to the FormaliSE 2024 conference must be written<br>in English, must be unpublished original work, and must not be under<br>review or submitted elsewhere at the time of submission. Submissions<br>must comply with the FormaliSE's lightweight double-anonymous review<br>process (see below).<br><br>Full research papers and case study papers can take up to 10 pages<br>including all text, figures, tables and appendices, but excluding<br>references.  Research ideas papers can take up to 4 pages, plus up to<br>1 additional page solely for references.<br><br>To avoid that authors waste time fitting their papers into the stated<br>limit at the expense of presentation clarity, paper lengths slightly<br>exceeding the stated limit will still be considered, provided that the<br>reviewers find that the presentation is of high quality.<br><br>All submissions must be in PDF format and must conform to the [ACM<br>Primary Article Template](<a href="https://urldefense.com/v3/__https://www.acm.org/publications/proceedings-template__;!!IBzWLUs!WwcDi8yU5kqw93iN93an-S5c-vsdbtCUS8XtUkfDv2UIKyONcRuMZMPHnR7v2E0Wp8oZaCoeuE7TgBt1TtEgEnID8EORRL8$" rel="noreferrer" target="_blank">https://www.acm.org/publications/proceedings-template</a>). In<br>LaTeX, use options `sigconf`, `review`, and `anonymous`:<br>`\documentclass[sigconf,review,anonymous]{acmart}`.  These options add<br>line numbers (which helps reviewers refer to specific lines in a<br>submission), and omit author information (as required by the<br>double-anonymous format). <br><br>To submit a paper to FormaliSE 2024 use the following HotCRP link:<br><a href="https://urldefense.com/v3/__https://formalise24.hotcrp.com/__;!!IBzWLUs!WwcDi8yU5kqw93iN93an-S5c-vsdbtCUS8XtUkfDv2UIKyONcRuMZMPHnR7v2E0Wp8oZaCoeuE7TgBt1TtEgEnIDC8I1sRc$" rel="noreferrer" target="_blank">https://formalise24.hotcrp.com/</a><br><br>Lightweight Double-Anonymous Review Process for Papers<br>******************************************************************<br>As in recent editions, FormaliSE 2024 will use a lightweight<br>double-anonymous process. Authors must omit their names and<br>institutions from the title page, cite their own work in the third<br>person, and omit acknowledgments that may reveal their identity or<br>affiliation. The purpose is reducing chances of reviewer bias<br>influenced by the authors’ identities. The double-anonymous process<br>is, however, lightweight, which means that it should not pose a heavy<br>burden for authors, nor should make a paper's presentation weaker<br>or more difficult to review. Also, advertising the paper as part of<br>your usual research activities (for example, on your personal<br>web-page, in a pre-print archive, by email, in talks or discussions<br>with colleagues) is permitted without penalties.<br><br>Paper Selection<br>*******************<br>Each paper will be reviewed by at least three program committee<br>members that will judge its overall quality in terms of its soundness,<br>significance, novelty, verifiability, and presentation clarity.<br><br>FormaliSE 2024 will adopt a lightweight response process: if all the<br>reviewers of a given paper agree that a clarification from the authors<br>regarding a specific question could move the paper from "borderline"<br>to "accept", the chairs will relay the reviewers' questions to the<br>authors by email, and then share their reply with the reviewers in<br>HotCRP. The goal of lightweight responses is reducing the chance of<br>random decisions on borderline papers. Hence, they will only be used<br>for a minority of submissions; most papers will not require such an<br>author response. Nevertheless, we would ask the corresponding authors<br>of all submissions to make sure that they are available to answer<br>questions by email upon request.<br><br>Artifact Evaluation<br>**********************<br>Reproducibility of experimental results is crucial to foster an<br>atmosphere of trustworthy, open, and reusable research. To improve and<br>reward reproducibility, FormaliSE 2023 continues its Artifact<br>Evaluation (AE) procedure. An artifact is any additional material<br>(software, data sets, machine-checkable proofs, etc.) that<br>substantiates the claims made in the paper and ideally makes them<br>fully reproducible.<br><br>Submission of an artifact is optional but encouraged for all papers<br>where it can support the results presented in the paper. Artifact<br>review is single-anonymous (the paper corresponding to an artifact<br>must still follow the double-anonymous submissions requirements) and<br>will be conducted concurrently with the paper reviewing process.<br>Artifacts will be handled by a separate Artifact Evaluation Committee,<br>and the Artifact Evaluation process will be set up such that the<br>anonymization of the corresponding papers will not be<br>compromised. Accepted papers with a successfully evaluated artefact<br>will be awarded the EAPLS<br>badges (<a href="https://urldefense.com/v3/__https://eapls.org/pages/artifact_badges/__;!!IBzWLUs!WwcDi8yU5kqw93iN93an-S5c-vsdbtCUS8XtUkfDv2UIKyONcRuMZMPHnR7v2E0Wp8oZaCoeuE7TgBt1TtEgEnIDRcum1XM$" rel="noreferrer" target="_blank">https://eapls.org/pages/artifact_badges/</a>) that apply (among<br>"Functional", "Reusable", and "Available"). Awarded badges are to be<br>added to the camera-ready version of the paper.<br><br>Artifacts will be assessed with respect to their consistency with the<br>results presented in the paper, their completeness, their<br>documentation, and their ease of use. The Artifact Evaluation will<br>include an initial check for technical issues; authors of artifacts<br>may be contacted by email within the first two weeks after artifact<br>submission to help resolve any technical problems that prevent the<br>evaluation of an artifact if necessary.<br><br>The results of an artifact evaluation will not be available to the<br>reviewers of the corresponding paper; hence, they will not affect the<br>paper's acceptance decision. However, reviewers will know whether a<br>paper has submitted any artifacts; this piece of information may be<br>taken into account to decide whether the paper should be<br>accepted. Thus, if there are justifiable reasons why a paper's<br>artifacts cannot be submitted, they should be pointed out in the paper<br>so that the reviewers can appreciate them and adjust their<br>expectations accordingly.<br><br>Detailed guidelines for preparation and submission of artifacts will<br>be described in a dedicated page in FormaliSE 2024's<br>website (<a href="https://urldefense.com/v3/__https://formalise2024.github.io/__;!!IBzWLUs!WwcDi8yU5kqw93iN93an-S5c-vsdbtCUS8XtUkfDv2UIKyONcRuMZMPHnR7v2E0Wp8oZaCoeuE7TgBt1TtEgEnIDmKNUl48$" rel="noreferrer" target="_blank">https://formalise2024.github.io/</a>).<br><br>Publication<br>********************<br>All accepted papers are published as part of the ICSE 2024 Proceedings<br>in the ACM and IEEE Digital Libraries.<br><br>At least one author of each accepted paper is required to register for<br>the conference and present the paper at the conference — physically<br>or, if the circumstances do not allow so, virtually. Failure to<br>register an author will result in a paper being removed from the<br>proceedings.<br><br>Organization<br>******************<br># General Chairs<br>* Stefania Gnesi, Istituto di Scienza e Tecnologie dell’Informazione (Italy)<br>* Nico Plat, University of Twente (The Netherlands)<br><br># Program Chairs<br>* Carlo A. Furia, USI Lugano (Switzerland)<br>* Antónia Lopes, University of Lisbon (Portugal)<br><br># Artifact Evaluation Chairs<br>* Tom van Dijk, University of Twente (The Netherlands)<br>* Raúl Pardo, IT University of Copenhagen (Denmark)<br><br># Social Media Chairs<br>* Abhishek Tiwari, University of Passau (Germany)<br>* Paulo Santos, Carnegie Mellon University (USA)<br><br># Program Committee<br>* Wolfgang Ahrendt, Chalmers University of Technology (Sweden)<br>* Bernhard Aichernig, TU Graz (Austria)<br>* Toshiaki Aoki, Japan Advanced Institute of Science and Technology (Japan)<br>* Cyrille Artho, KTH (Sweden)<br>* Kyungmin Bae, Pohang University of Science and Technology (Korea)<br>* Domenico Bianculli, University of Luxembourg (Luxembourg)<br>* Simon Bliudze, INRIA Lille - Nord Europe (France)<br>* Giovanna Broccia, ISTI - CNR (Italy)<br>* Radu Calinescu, University of York (UK)<br>* Pablo Castro, National University of Rio Cuarto (AR)<br>* Ana Cavalcanti, University of York (UK)<br>* Javier Cámara Moreno, Universidad de Málaga (Spain)<br>* João F. Ferreira, University of Lisbon (Portugal)<br>* Antonio Filieri, Imperial College London/AWS (UK/USA)<br>* Amit Goel, Amazon Web Services  (USA)<br>* Paula Herber, University of Münster (Germany)<br>* Marieke Huisman, University of Twente (The Netherlands)<br>* Marie-Christine Jakobs, LMU Munich (Germany)<br>* Violet Ka I Pun, Western Norway University of Applied Sciences (Norway)<br>* Eunsuk Kang, Carnegie Mellon University (USA)<br>* Oleksandr Kolchyn, Glushkov Institute of Cybernetics (Ukraine)<br>* Anastasia Mavridou, KBR/NASA Ames Research Center (USA)<br>* Larissa Meinicke, University of Queensland (Australia)<br>* Chris Poskitt, Singapore Management University (Singapore)<br>* Virgile Prevosto, CEA List (France)<br>* Matteo Rossi, Politecnico di Milano (Italy)<br>* Ina Schaefer, KIT (Germany)<br>* Cristina Seceleanu, Mälardalen University (Sweden)<br>* Allison Sullivan, University of Texas, Arlington (USA)<br>* Heike Wehrheim, University of Oldenburg (Germany)<br>* Kirsten Winter, University of Queensland (Australia)<br><br># Artifact Evaluation Committee<br><br>TBD<br><br>Contact Information<br>*********************************<br>We can be reached at <a href="mailto:oc@formalise.org" target="_blank">oc@formalise.org</a>.<div class="gmail-yj6qo"></div><br class="gmail-Apple-interchange-newline"></div>