<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=Windows-1252">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
--></style>
</head>
<body lang="en-NL" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal"><span style="color:#212121">-----------------------------------------------------------------------<br>
iFM 2023 - Call for Papers<br>
18th International Conference on integrated Formal Methods<br>
13-15 November 2023, Leiden, the Netherlands<br>
<span class="apple-converted-space"> </span></span><a href="https://ifm23.liacs.nl" title="https://ifm23.liacs.nl"><span style="color:#0078D7">https://ifm23.liacs.nl</span></a><span style="color:#212121"><br>
-----------------------------------------------------------------------<br>
<br>
IMPORTANT DATES<br>
Abstract submission: 25 May 2023<br>
Paper submission: 1 June 2023<br>
Acceptance notification: 10 August 2023<br>
iFM 2023 main conference: 13-15 November 2023<br>
<br>
<br>
OBJECTIVE AND SCOPE<br>
In the last decades, we have witnessed a proliferation of approaches<br>
that integrate several modelling, verification and simulation<br>
techniques, facilitating more versatile and efficient analysis of<br>
software-intensive systems. These approaches provide powerful support<br>
for the analysis of different functional and non-functional properties<br>
of the systems, complex interaction of components of different nature as<br>
well as validation of diverse aspects of system behaviour. The iFM<br>
conference series is a forum for discussing recent research advances in<br>
the development of integrated approaches to formal modelling and<br>
analysis. The conference covers all aspects of the design of integrated<br>
techniques, including language design, verification and validation,<br>
automated tool support and the use of such techniques in software<br>
engineering practice. To credit the effort of tool developers, we use<br>
EAPLS artefact badging <</span><a href="https://eapls.org/pages/artifact_badges/" title="https://eapls.org/pages/artifact_badges/"><span style="color:#0078D7">https://eapls.org/pages/artifact_badges/</span></a><span style="color:#212121">>.<br>
<br>
Areas of interest include (but are not limited to):<br>
<br>
* Formal and semi-formal modelling notations<br>
* Combining formal methods with different performance, simulation and<br>
system analysis techniques<br>
* Program verification, model checking, and static analysis<br>
* Theorem proving, decision procedures and SAT/SMT solving<br>
* Runtime analysis, monitoring and testing<br>
* Program synthesis<br>
* Modelling, analysis and synthesis of cyber-physical, hybrid,<br>
embedded, probabilistic, distributed or concurrent systems<br>
* Abstraction and refinement<br>
* Model learning and inference<br>
* Approaches to integrating formal methods into software engineering<br>
practice or industry<br>
* Approaches to integrating formal methods into standardisation or<br>
certification processes<br>
* Formal methods for AI<br>
* Tools and case studies supporting the integration of formal methods<br>
<br>
<br>
PAPER CATEGORIES<br>
iFM 2023 solicits high-quality papers reporting research results and/or<br>
experience reports related to the overall theme of formal methods<br>
integration.<br>
<br>
We accept papers in the following categories:<br>
<br>
(1) Regular papers (limit 16 pages) on<br>
* original scientific research results<br>
* tools, their foundation and evaluations<br>
* applications of formal methods, including rigorous evaluations<br>
<br>
(2) Short papers (limit 6 pages) on<br>
* any subject of interest in the area of formal methods that can be<br>
described with sufficient detail within the page limit<br>
<br>
All page limits exclude the references. Appendices may be included, but<br>
they will only be read by a reviewer at their discretion.<br>
<br>
Regular and short papers must be original, unpublished, and not<br>
submitted for publication elsewhere. Papers will undergo a thorough<br>
review process. Submissions will be judged on the basis of significance,<br>
relevance, correctness, originality and clarity.<br>
<br>
The submissions will be reviewed and selected for publication based on<br>
the above mentioned criteria as well as suitability to the conference’s<br>
technical program.<br>
<br>
<br>
SUBMISSION GUIDELINES<br>
Submissions for all categories should be made using the iFM 2023<br>
EasyChair site<span class="apple-converted-space"> </span></span><a href="https://easychair.org/conferences/?conf=ifm2023" title="https://easychair.org/conferences/?conf=ifm2023"><span style="color:#0078D7">https://easychair.org/conferences/?conf=ifm2023</span></a><span style="color:#212121"><br>
<br>
Submissions must be in PDF format, using the Springer LNCS style files.<br>
<br>
Springer requires that authors should consult Springer’s authors’ guidelines<br>
and use their proceedings templates, either for LaTeX or for Word, for the<span class="apple-converted-space"> </span><br>
preparation of their papers. Springer encourages authors to include their<span class="apple-converted-space"> </span><br>
ORCIDs in their papers. After a paper is accepted, the corresponding author<span class="apple-converted-space"> </span><br>
of each paper, acting on behalf of all of the authors of that paper, must<span class="apple-converted-space"> </span><br>
complete and sign a Consent-to-Publish form. The corresponding author<span class="apple-converted-space"> </span><br>
signing the copyright form should match the corresponding author marked<span class="apple-converted-space"> </span><br>
on the paper. Once the files have been sent to Springer, changes relating<span class="apple-converted-space"> </span><br>
to the authorship of the papers cannot be made.<br>
<br>
The conference proceedings will be published in Springer’s Lecture Notes<br>
in Computer Science series. We will apply for a special issue of the Formal<span class="apple-converted-space"> </span><br>
Aspects of Computing journal for extended versions of selected papers from<span class="apple-converted-space"> </span><br>
iFM 2023, as well as a special issue of the Original Software Publication<span class="apple-converted-space"> </span><br>
track in Science of Computer Programming (see EAPLS Artifact Badging below).<br>
<br>
All accepted papers must be presented at the conference. At least one<br>
author of each accepted paper must register to the conference by the<br>
early registration date.<br>
<br>
<br>
EAPLS ARTEFACT BADGING<br>
Reproducibility of experiments is crucial to foster an atmosphere of<br>
open, reusable and trustworthy research. To improve and reward<br>
reproducibility and to give more visibility and credit to the effort of<br>
tool developers in our community, authors of accepted papers will be<br>
invited to submit possible artefacts associated with their paper for<br>
evaluation, and based on the level of reproducibility they will be<br>
awarded one or more badges. See<span class="apple-converted-space"> </span></span><a href="https://eapls.org/pages/artifact_badges/" title="https://eapls.org/pages/artifact_badges/"><span style="color:#0078D7">https://eapls.org/pages/artifact_badges/</span></a><span style="color:#212121">.<span class="apple-converted-space"> </span><br>
Artefact submission is optional and the result of the artefact evaluation<span class="apple-converted-space"> </span><br>
will not alter the paper’s acceptance decision.<br>
<br>
To credit the effort of tool developers, we plan to apply for a special<br>
issue of the Original Software Publication track in Science of Computer<span class="apple-converted-space"> </span><br>
Programming. Authors of selected artefacts will be invited to contribute<span class="apple-converted-space"> </span><br>
to this issue.<br>
<br>
<br>
GENERAL CHAIR<br>
Marcello M. Bonsangue (LIACS, Leiden University, The Netherlands)<br>
<br>
PROGRAM COMMITTE CHAIRS<br>
Paula Herber (University of Münster, Germany)<br>
Anton Wijs (Eindhoven University of Technology, The Netherlands)<br>
<br>
PUBLICITY CHAIRS<br>
Alfons Laarman (LIACS, Leiden University, The Netherland)<br>
<br>
PROGRAM COMMITTEE<br>
Wolfgang Ahrendt (Chalmers University, Sweden)<br>
Maurice H. ter Beek (ISTI-CNR, Italy)<br>
Petra van den Bos (University of Twente, The Netherlands)<br>
Alessandro Cimatti (University of Trento, Italy)<br>
David Safranek (Masaryk University, Czech Republic)<br>
Pedro D’Argenio (Universidad Nacional de Córdoba, Spain)<br>
Richard DeFrancisco (Augusta University, Georgia, USA)<br>
John Derrick (University of Sheffield, United Kingdom)<br>
Claire Dross (AdaCore, France)<br>
Karine Even-Mendoza (King’s College London, United Kingdom)<br>
Marie Farrell (University of Manchester, United Kingdom)<br>
Carlo A. Furia (Universita della Svizzera italiana, Switzerland)<br>
Dilian Gurov (KTH Stockholm, Sweden)<br>
Marieke Huisman (University of Twente, The Nethrlands)<br>
Sebastian Junges (Radboud University, The Netherlands)<br>
Einar Broch Johnson (University of Oslo, Norway)<br>
Nikolai Kosmatov (CEA List, CEA Saclay, France)<br>
Alfons Laarman (Leiden University, The Netherlands)<br>
Martin Leucker (University of Lübeck, Germany)<br>
Rosemary Monahan (Maynooth University, Ireland)<br>
Thomas Neele (Eindhoven University of Technology, The Netherlands)<br>
Wytse Oortwijn (TNO, The Netherlands)<br>
Jun Pang (University of Luxembourg, Luxembourg)<br>
Luigia Petre (Åbo Akademi University, Finland)<br>
Giles Reger (Amazon Web Services and University of Manchester, United Kingdom)<br>
Anne Remke (University of Münster, Germany)<br>
Thomas Santen (Formal Assurance, Germany)<br>
Ina Schäfer (Karlsruhe Institute of Technology, Germany)<br>
Ana Sokolova (University of Salzburg, Germany)<br>
Silvia Lizeth Tapia Tarifa (University of Oslo, Norway)<br>
Heike Wehrheim (University of Oldenburg, Germany)<br>
Kirsten Winter (University of Queensland, Australia)<br>
Naijun Zhan (Chinese Academy of Sciences, P.R. of China)<br>
<br>
<br>
© iFM 2023</span><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>