<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">[apologies for cross-postings]<div class=""><br class=""></div><div class="">==================================================<br class=""><br class="">Call for Papers<br class="">FM 2023: 25th International Symposium on Formal Methods<br class=""><br class="">Lübeck, Germany, March 6-10, 2023<br class=""><a href="https://fm2023.isp.uni-luebeck.de/" class="">https://fm2023.isp.uni-luebeck.de/</a><br class=""><br class="">==================================================<br class=""><br class="">FM 2023 is the 25th international symposium in a series organised by<br class="">Formal Methods Europe (FME), an independent association whose aim is to<br class="">stimulate the use of, and research on, formal methods for software<br class="">development. The FM symposia have been successful in bringing together<br class="">researchers and industrial users around a programme of original papers<br class="">on research and industrial experience, workshops, tutorials, reports on<br class="">tools, projects, and ongoing doctoral research. FM 2023 will be both an<br class="">occasion to celebrate and a platform for enthusiastic researchers and<br class="">practitioners from a diversity of backgrounds to exchange their ideas<br class="">and share their experiences.<br class=""><br class="">=Important Dates=<br class=""><br class="">Abstract submission: September 4, 2022, 23:59 AoE (firm)<br class="">Full paper submission: September 11, 2022, 23:59 AoE (firm)<br class="">Notification: November 15, 2022<br class="">Artefact submission: November 20, 2022, 23:59 AoE (firm)<br class="">Camera ready: December 11, 2022, 23:59 AoE (firm)<br class="">Conference: March 6-10, 2023<br class=""><br class="">=Topics of Interest=<br class=""><br class="">FM 2023 will highlight the development and application of formal methods<br class="">in a wide range of domains including trustworthy AI, software,<br class="">computer-based systems, systems-of-systems, cyber-physical systems,<br class="">security, human-computer interaction, manufacturing, sustainability,<br class="">energy, transport, smart cities, healthcare and biology. We particularly<br class="">welcome papers on techniques, tools and experiences in interdisciplinary<br class="">settings. We also welcome papers on experiences of applying formal methods <br class="">in industrial settings, and on the design and validation of formal method <br class="">tools.<br class=""><br class="">The topics of interest for FM 2023 include, but are not limited to:<br class=""><br class="">Interdisciplinary formal methods: Techniques, tools and experiences<br class="">demonstrating the use of formal methods in interdisciplinary settings.<br class="">Formal methods in practice: Industrial applications of formal methods,<br class="">experience with formal methods in industry, tool usage reports,<br class="">experiments with challenge problems. The authors are encouraged to<br class="">explain how formal methods overcame problems, led to improved designs,<br class="">or provided new insights.<br class=""><br class="">Tools for formal methods: Advances in automated verification, model<br class="">checking, and testing with formal methods, tools integration,<br class="">environments for formal methods, and experimental validation of tools.<br class="">The authors are encouraged to demonstrate empirically that the new tool<br class="">or environment advances the state of the art.<br class=""><br class="">Formal methods in software and systems engineering: Development<br class="">processes with formal methods, usage guidelines for formal methods, and<br class="">method integration. The authors are encouraged to evaluate process<br class="">innovations with respect to qualitative or quantitative improvements.<br class="">Empirical studies and evaluations are also solicited.<br class=""><br class="">Theoretical foundations of formal methods: All aspects of theory related<br class="">to specification, verification, refinement, and static and dynamic<br class="">analysis. The authors are encouraged to explain how their results<br class="">contribute to the solution of practical problems with formal methods or<br class="">tools.<br class=""><br class="">We explicitly welcome submissions to the special FM 2023 session on <br class="">"Formal methods meets AI", which is focused on formal and rigorous <br class="">modelling and analysis techniques to ensuring safety, robustness etc. <br class="">(trustworthiness) of AI-based systems.<br class=""><br class="">=Submission Guidelines=<br class=""><br class="">Papers should be original work, not published or submitted elsewhere, in<br class="">Springer LNCS format, written in English, submitted through EasyChair:<br class=""><br class=""> <a href="https://easychair.org/conferences/?conf=fm2023" class="">https://easychair.org/conferences/?conf=fm2023</a><br class=""><br class="">Each paper will be evaluated by at least three PC members. Authors of <br class="">papers reporting experimental work are strongly encouraged to make their <br class="">experimental results available for use by the reviewers. Case study papers <br class="">should describe significant case studies, and the complete development <br class="">should be made available at the time of review. The usual criteria for <br class="">novelty, reproducibility, correctness and the ability for others to build <br class="">upon the described work apply. Tool papers and tool demonstration papers <br class="">should explain enhancements made compared to previously published work. <br class="">A tool demonstration paper need not present the theory behind the tool, <br class="">but can focus on the tool’s features, how it is used, its evaluation, and<br class="">examples and screenshots illustrating the tool’s use. Authors of tool<br class="">and tool demonstration papers should make their tool available for use<br class="">by the reviewers and are highly encouraged to participate in the artefact<br class="">evaluation once their paper is accepted.<br class=""><br class="">We solicit various categories of papers:<br class=""><br class="">Regular Papers (max 15 pages)<br class="">Long tool papers (max 15 pages)<br class="">Case study papers (max 15 pages)<br class="">Short papers (max 6 pages), including tool demonstration papers.<br class=""><br class="">Short papers present novel ideas (e.g., without an extensive experimental <br class="">evaluation) or results that can well be presented in 6 pages. Short papers <br class="">will be given short presentation slots at the conference.<br class=""><br class="">All page limits do *not* include references and appendices.<br class=""><br class="">For all papers, an appendix can provide additional material such as<br class="">details on proofs or experiments. The appendix is not part of the page<br class="">count and is not guaranteed to be read or taken into account by the<br class="">reviewers. Thus, it should not contain information necessary for the<br class="">understanding and the evaluation of the presented work. Papers will be<br class="">accepted or rejected in the category in which they were submitted and<br class="">will not be moved between categories.<br class=""><br class="">At least one author of an accepted paper is expected to present the<br class="">paper at the conference as a registered participant.<br class=""><br class="">=Double Blind Review Process=<br class=""><br class="">FM 2023 will employ a double-blind review process except for (a) long <br class="">tool papers and (b) short tool demonstration papers. Other short papers <br class="">will be subject to a double-blind policy.<br class=""><br class="">The papers submitted must not reveal the authors’ identities in any way:<br class="">(a) Authors should leave out author names and affiliations from the body <br class="">of their submission.<br class="">(b) Authors should ensure that any citation to related work by themselves <br class="">is written in third person, that is, “the prior work of XYZ” as opposed <br class="">to “our prior work”.<br class="">(c) Authors should not include URLs to author-revealing sites (tools, <br class="">datasets).<br class="">(e) You are encouraged to submit a link to a Web site or repository <br class="">containing supplementary material (raw data, datasets, experiments, etc.), <br class="">as long as it is blinded. The visit of such sites should not be needed <br class="">to conduct the review. The PC will not necessarily consider it in the <br class="">paper review process. For more information, please read <br class=""><br class=""><a href="https://ineed.coffee/post/how-to-disclose-data-for-double-blind-review-and-make-it-archived-open-data-upon-acceptance" class="">How to disclose data for double-blind review and make it archived open data upon acceptance</a>. <br class=""><br class="">As an alternative to having an external link, the submission form provides <br class="">an option to attach a replication package.<br class="">(f) Authors should anonymize author-revealing company names but instead <br class="">provide general characteristics of the organizations involved needed to <br class="">understand the context of the paper.<br class="">(g) Authors should ensure that paper acknowledgements do not reveal the <br class="">origin of their work.<br class=""><br class="">The double-blind process is “heavy”, i.e., the paper anonymity will be <br class="">maintained during the reviewers’ discussion period. Authors with further <br class="">questions on double-blind reviewing are encouraged to contact the PC <br class="">chairs by email. Papers that do not comply with the double-blind review <br class="">process will be desk-rejected.<br class=""><br class="">To prevent double submissions, the chairs might compare the submissions <br class="">with related conferences that have overlapping review periods. The double <br class="">submission restriction applies only to refereed journals and conferences, <br class="">not to unrefereed forums (e.g. <a href="http://arxiv.org/" class="">arXiv.org</a>). To check for plagiarism issues, <br class="">the chairs might use external plagiarism detection software.<br class=""><br class="">To facilitate double-blind reviewing, we advise the authors to postpone <br class="">publishing their submitted work on arXiv or similar sites until after the <br class="">notification of acceptance. However, if the authors have already published <br class="">a version of their paper to arXiv or similar sites, we request authors to <br class="">use a different title for their submission, so that author names are not <br class="">inadvertently disclosed, e.g., via a notification on Google Scholar.<br class=""><br class="">=Best Paper Award=<br class=""><br class="">At the conference, the PC Chairs will present an award to the authors of<br class="">the submission selected as the FM 2023 Best Paper.<br class=""><br class="">=Publication=<br class=""><br class="">Accepted papers will be published in the Symposium Proceedings to appear<br class="">in Springer’s Lecture Notes in Computer Science. Extended versions of selected <br class="">papers will be invited for publication in a special issue of a journal.<br class=""><br class="">=General Chair=<br class=""><br class="">Martin Leucker, University of Lübeck, Germany<br class=""><br class="">=Program Committee Chairs=<br class=""><br class="">Marsha Chechik, University of Toronto, CA<br class="">Joost-Pieter Katoen, RWTH Aachen University, DE<br class=""> & University of Twente, NL<br class=""><br class="">=Program Committee=<br class=""><br class="">Dalal Alrajeh, Imperial College, UK<br class="">Luis Soares Barbosa, University of Minho, PT<br class="">Ezio Bartocci, TU Vienna, AT<br class="">Nikolaj Bjørner, Microsoft, US<br class="">Sandrine Blazy, University of Rennes, FR<br class="">Borzoo Bonakdarpour, Michigan State University, US <br class="">Pablo Castro, University of Rio Cuarto, AR<br class="">Ana Cavalcanti, University of York, UK<br class="">Milan Česka, Brno University of Technology, CZ<br class="">Nancy Day, University of Waterloo, CA<br class="">Benrd Fischer, Stellenbosch University, ZA<br class="">Arie Gurfinkel, University of Waterloo, CA<br class="">Reiner Hähnle, TU Darmstadt, DE<br class="">Ichiro Hasuo, National Institute of Informatics, JP<br class="">Keijo Heljanko, University of Helsinki, FI<br class="">Holger Hermanns, Saarland University, DE<br class="">Peter Höfner, Australian National University, AU<br class="">Marieke Huisman, University of Twente, NL<br class="">Adrian Francalanza, University of Malta, MT<br class="">Einar Broch Johnsen, University of Oslo, NO<br class="">Sebastian Junges, Radboud University, NL<br class="">Martin Leucker, University of Lübeck, DE<br class="">Yi Li, Nanyang Technological University, SG <br class="">Lei Ma, University of Alberta, CA<br class="">Mieke Massink, CNR-ISTI, IT<br class="">Christoph Matheja, Technical University of Denmark, DK<br class="">Annabelle McIver, Macquarie University, AU<br class="">Claudio Menghi, McMaster University, CA<br class="">Jan Peleska, University of Bremen, DE<br class="">Andre Platzer, Carnegie Mellon University, USA<br class="">Jan-Oliver Ringert, Bauhaus University Weimar, DE<br class="">Baishakhi Ray, Columbia University, US<br class="">Christina Seceleanu, Malardalen University, SE<br class="">Marjan Sirjani, Malardalen University, SE<br class="">Paola Spoletini, Kennesaw State University, US<br class="">Jun Sun, Singapore University, SG<br class="">Emilio Tuosto, Gran Sasso Science Institute, IT<br class="">Matthias Volk, University of Twente (AE Chair), NL<br class="">Ou Wei, Thales, CA<br class="">Mike Whalen, Amazon Web Services, US<br class="">Mingsheng Ying, University of Technology Sydney, AU<br class="">Naijun Zhan, Chinese Academy of Sciences, CN</div><div class=""><br class=""></div><div class="">--<br class="">Violet Ka I Pun / <a href="http://violet.foldr.org/" class="">http://violet.foldr.org/</a></div></div></div></body></html>