<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=iso-8859-1">
<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:12.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-size:12.0pt;
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-GB" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p style="margin:0cm"><span style="color:black">(</span><span style="font-size:12.0pt;color:black">Apologies if you got multiple copies of this invitation</span><span style="color:black">)</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">----------------------------------------------------------------------------------------------------------------</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">CfP: F-IDE, 7th Workshop on Formal Integrated Development Environment</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">affiliated with SEFM 2022, September 26, 2022, Berlin, Germany</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Abstract registration deadline: 24 July 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Submission deadline: 31 July 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Notification: 23 August 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Website:</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="color:black"><a href="https://sites.google.com/unipi.it/websitef-ide2022/home-page" title="https://sites.google.com/unipi.it/websitef-ide2022/home-page">https://sites.google.com/unipi.it/websitef-ide2022/home-page</a></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Topics: formal methods, ide, theoretical computer science</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">----------------------------------------------------------------------------------------------------------------</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">OVERVIEW</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">High levels of safety, security, and privacy standards require the use of formal methods</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">to specify and develop compliant software (sub-)systems. Any standard comes with an</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">assessment process, which requires a complete application documentation to ease the</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">justification of design choices and the review of code and proofs.</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Ideally, an F-IDE dedicated to such developments should comply with several requirements.</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">The first one is to associate a logical theory with a programming language, in a way that</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">facilitates the tightly coupled handling of specification properties and program constructs.</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">The second is to offer a language/environment simple enough to be usable by most developers,</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">even if they are not fully acquainted with higher-order logic or set theory, in particular</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">by making development of proofs as easy as possible. The third is to offer automated</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">management of application documentation. It may also be expected that developments done</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">with such an F-IDE are reusable and modular. Tools for testing and static analysis may</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">be embedded within F-IDEs to support the assessment process.</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">TOPICS</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">The workshop is open to contributions on all aspects of a system development process,</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">including specification, design, implementation, analysis, and documentation. It welcomes</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">the presentation of tools, methods, techniques and experiments. Topics of interest include,</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">but are not limited to, the following:</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- F-IDE building: design and integration of languages, development of user-friendly front-ends</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- How to make high-level logical and programming concepts palatable to industrial developers</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Integration of Object-Oriented and modularity features</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Integration of static analyzers</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Integration of automatic proof tools, theorem provers and testing tools</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Documentation tools</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Impact of tools on certification</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Experience reports on developing F-IDEs</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Experience reports on using F-IDEs</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Experience reports on formal methods-based assessments in industrial applications</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">SUBMISSION GUIDELINES</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">We accept both long (15 pages) and short (6 pages) paper submissions. The page limit does not</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">include the bibliography. Submitted papers must present original contributions whose main</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">results and conclusions have not been published or submitted elsewhere. Each submission will</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">be reviewed by at least three members of the Program Committee.</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Submitted papers must be written in English and follow the LNCS style format.</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Authors are invited to submit the following types of contributions:</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Research papers providing new concepts and results</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Experience reports</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Position papers and research perspectives</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Tool presentations</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Papers should be submitted via EasyChair at F-IDE 2022's workshop page. Preliminary proceedings</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">will be made available in electronic form at the workshop. Post-proceedings are planned to be</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">published in Springer's Lecture Notes in Computer Science series.</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">IMPORTANT DATES</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">* Abstract submission: Sunday 24 July 2022</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">* Paper submission: 31 July 2022 </span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">* Notification: 23 August 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">* Camera-ready version: 13 September 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">* Workshop date: 26 September 2022</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">ORGANIZATION</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Program Committee</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Aaron Dutle, NASA LaRC, USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Andrea Domenici, University of Pisa, Italy</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Bernhard Rumpe, RWTH Aachen University, Germany</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Carlo A. Furia, Università della Svizzera Italiana, Switzerland</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Enrico Tassi, INRIA, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Franco Mazzanti, ISTI/CNR, Italy</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- François Pessaux, ENSTA ParisTech, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- José Proença, CISTER/ISEP, Portugal</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Laurent Voisin, Systerel, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Makarius Wenzel, sketis.net, Germany</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Marco Feliu, NIA/NASA LaRC, USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Markus A. Kuppe, Microsoft Research, USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Mattias Ulbrich, Karlsruhe Institute of Technology, Germany</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Rosemary Monahan, Maynooth University, Ireland</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Simão Melo de Sousa, University of Beira Interior, Portugal</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Stefan Mitsch, Carnegie Mellon University, USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Stephan Merz, Inria Nancy, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Virgile Prevosto, Université Paris-Saclay, CEA, List, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Yannick Moy, AdaCore, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Yi Zhang, Massachusetts General Hospital, USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">PC chairs</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Cinzia Bernardeschi, University of Pisa, Italy</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Son Hoang, University of Southampton, UK</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">Steering Committee</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Catherine Dubois, Samovar, ENSIIE, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Paolo Masci, US National Institute of Aerospace (NIA), USA</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">- Dominique Méry, LORIA, Université de Lorraine, France</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">----------------------------------------------------------------------------------------------------------------</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">All questions about submissions should be emailed to</span><span class="apple-converted-space"><span style="color:black"> </span></span><span style="color:black"><a href="mailto:cinzia.bernardeschi@unipi.it" title="mailto:cinzia.bernardeschi@unipi.it"><span style="color:#0078D4">cinzia.bernardeschi@unipi.it</span></a>,</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"><a href="mailto:T.S.Hoang@soton.ac.uk" title="mailto:T.S.Hoang@soton.ac.uk"><span style="color:#0078D4">T.S.Hoang@soton.ac.uk</span></a>.</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black">----------------------------------------------------------------------------------------------------------------</span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-size-adjust: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> </span><span style="font-size:12.0pt;color:black"><o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt"><o:p> </o:p></span></p>
<div>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt;mso-fareast-language:EN-GB">-- <o:p></o:p></span></p>
</div>
<div>
<p class="MsoNormal"><span style="font-size:11.0pt">Dr Son Hoang<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">ECS, University of Southampton<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:11.0pt">SO17 1BJ, Southampton<o:p></o:p></span></p>
</div>
</div>
<p class="MsoNormal"><span style="font-size:11.0pt">UK</span><o:p></o:p></p>
</div>
</body>
</html>