<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
</head>
<body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;">
<style class="WebKit-mso-list-quirks-style">
<!--
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-parent:"";
margin:0cm;
mso-pagination:none;
text-autospace:none;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;}
h1
{mso-style-priority:9;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-link:"Heading 1 Char";
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:50.4pt;
mso-pagination:none;
mso-outline-level:1;
text-autospace:none;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
mso-font-kerning:0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;}
p.MsoBodyText, li.MsoBodyText, div.MsoBodyText
{mso-style-priority:1;
mso-style-unhide:no;
mso-style-qformat:yes;
mso-style-link:"Body Text Char";
margin:0cm;
mso-pagination:none;
text-autospace:none;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;}
p.MsoListParagraph, li.MsoListParagraph, div.MsoListParagraph
{mso-style-priority:1;
mso-style-unhide:no;
mso-style-qformat:yes;
margin-top:0cm;
margin-right:0cm;
margin-bottom:0cm;
margin-left:86.4pt;
text-indent:-18.0pt;
mso-pagination:none;
text-autospace:none;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;}
span.Heading1Char
{mso-style-name:"Heading 1 Char";
mso-style-priority:9;
mso-style-unhide:no;
mso-style-locked:yes;
mso-style-link:"Heading 1";
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-fareast-font-family:Calibri;
mso-hansi-font-family:Calibri;
mso-bidi-font-family:Calibri;
font-weight:bold;}
span.BodyTextChar
{mso-style-name:"Body Text Char";
mso-style-priority:1;
mso-style-unhide:no;
mso-style-locked:yes;
mso-style-link:"Body Text";
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-fareast-font-family:Calibri;
mso-hansi-font-family:Calibri;
mso-bidi-font-family:Calibri;}
.MsoChpDefault
{mso-style-type:export-only;
mso-default-props:yes;
font-size:11.0pt;
mso-ansi-font-size:11.0pt;
mso-bidi-font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ascii-font-family:Calibri;
mso-ascii-theme-font:minor-latin;
mso-fareast-font-family:Calibri;
mso-fareast-theme-font:minor-latin;
mso-hansi-font-family:Calibri;
mso-hansi-theme-font:minor-latin;
mso-bidi-font-family:"Times New Roman";
mso-bidi-theme-font:minor-bidi;
mso-font-kerning:0pt;
mso-ligatures:none;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;}
.MsoPapDefault
{mso-style-type:export-only;
mso-pagination:none;
text-autospace:none;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:1.0pt 0cm 14.0pt 0cm;
mso-header-margin:36.0pt;
mso-footer-margin:36.0pt;
mso-paper-source:0;}
div.WordSection1
{page:WordSection1;}
@page WordSection2
{size:612.0pt 792.0pt;
margin:70.0pt 0cm 14.0pt 0cm;
mso-header-margin:36.0pt;
mso-footer-margin:36.0pt;
mso-paper-source:0;}
div.WordSection2
{page:WordSection2;}
/* List Definitions */
@list l0
{mso-list-id:1073621223;
mso-list-type:hybrid;
mso-list-template-ids:-797658552 -145573650 165450698 1008790572 90846994 564852628 1766353380 -1451073864 263120588 -1417767584;}
@list l0:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:86.4pt;
text-indent:-18.0pt;
font-family:Symbol;
mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol;
letter-spacing:0pt;
mso-font-width:100%;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level2
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:138.6pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level3
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:191.2pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level4
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:243.8pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level5
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:296.4pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level6
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:349.0pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level7
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:401.6pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level8
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:454.2pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l0:level9
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:506.8pt;
text-indent:-18.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1
{mso-list-id:1898971893;
mso-list-type:hybrid;
mso-list-template-ids:452132808 1324484876 1657038724 -1091376390 556441648 -414925524 -106645680 610942608 -1602460202 1652039334;}
@list l1:level1
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:73.45pt;
text-indent:-9.0pt;
mso-ansi-font-size:10.0pt;
mso-bidi-font-size:10.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-font-family:Calibri;
color:#221F1F;
letter-spacing:0pt;
mso-font-width:100%;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;
mso-ansi-font-weight:normal;
mso-bidi-font-weight:normal;
mso-ansi-font-style:normal;
mso-bidi-font-style:normal;}
@list l1:level2
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:126.9pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level3
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:180.8pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level4
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:234.7pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level5
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:288.6pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level6
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:342.5pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level7
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:396.4pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level8
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:450.3pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
@list l1:level9
{mso-level-start-at:0;
mso-level-number-format:bullet;
mso-level-text:•;
mso-level-tab-stop:none;
mso-level-number-position:left;
margin-left:504.2pt;
text-indent:-9.0pt;
mso-ansi-language:EN-US;
mso-fareast-language:EN-US;
mso-bidi-language:AR-SA;}
-->
</style>
<div class="WordSection1">
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<p class="MsoBodyText" style="margin-top: 4.35pt;"><span lang="EN-US" style="font-family: "Times New Roman", serif;"> </span></p>
<h1><span style="position: relative; z-index: 15728640;"><span style="position: absolute; left: -10px; top: -164px; width: 616px; height: 97px;"><img width="616" height="97" v:shapes="Group_x0020_1 Image_x0020_2 Textbox_x0020_3"></span></span><span lang="EN-US" style="color: rgb(34, 31, 31);">Formal<span style="letter-spacing: -0.25pt;"> </span>Aspects<span style="letter-spacing: -0.1pt;"> </span>of<span style="letter-spacing: 0.05pt;"> </span><span style="letter-spacing: -0.1pt;">Computing</span></span><span lang="EN-US"><o:p></o:p></span></h1>
<p class="MsoNormal" style="margin-top: 1.7pt; margin-bottom: 0.0001pt; margin-left: 50.4pt;">
<i><span lang="EN-US" style="color: rgb(34, 31, 31);">Special<span style="letter-spacing: -0.35pt;"> </span>Issue<span style="letter-spacing: 0.05pt;"> </span>on<span style="letter-spacing: -0.3pt;"> </span>the<span style="letter-spacing: 0.1pt;"> </span>History<span style="letter-spacing: -0.3pt;"> </span>of<span style="letter-spacing: -0.1pt;"> </span>Formal<span style="letter-spacing: -0.35pt;"> </span><span style="letter-spacing: -0.1pt;">Methods</span></span><span lang="EN-US"><o:p></o:p></span></i></p>
<p class="MsoBodyText" style="margin-top: 0.85pt;"><i><span lang="EN-US"> </span></i></p>
<h1><span lang="EN-US" style="color: rgb(34, 31, 31);">Guest<span style="letter-spacing: 0.1pt;"> </span><span style="letter-spacing: -0.1pt;">Editors:</span></span><span lang="EN-US"><o:p></o:p></span></h1>
<p class="MsoListParagraph" style="margin-top: 0.3pt; margin-left: 73.4pt; margin-bottom: 0.0001pt; text-indent: -8.95pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
color:#221F1F">•<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Cliff<span style="letter-spacing: -0.4pt;"> </span>Jones</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">,<span style="letter-spacing: -0.35pt;"> </span>Newcastle<span style="letter-spacing: -0.2pt;"> </span>University,
UK, </span><span lang="EN-US"><a href="mailto:cliff.jones@newcastle.ac.uk"><span style="color: windowtext; letter-spacing: -0.1pt; text-decoration: none;">cliff.jones@newcastle.ac.uk</span></a><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.25pt; margin-left: 73.4pt; margin-bottom: 0.0001pt; text-indent: -8.95pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
color:#221F1F">•<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Jim<span style="letter-spacing: -0.2pt;"> </span>Woodcock</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">,<span style="letter-spacing: -0.35pt;"> </span>University<span style="letter-spacing: -0.05pt;"> </span>of<span style="letter-spacing: -0.3pt;"> </span>York,
UK,<span style="letter-spacing: -0.05pt;"> </span></span><span lang="EN-US"><a href="mailto:jim.woodcock@york.ac.uk"><span style="color: windowtext; letter-spacing: -0.1pt; text-decoration: none;">jim.woodcock@york.ac.uk</span></a><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-top: 7.7pt;"><span lang="EN-US"> </span></p>
<p class="MsoBodyText" style="margin-right: 52.4pt; margin-bottom: 0.0001pt; margin-left: 50.4pt; line-height: 14.666668px;">
<i><span lang="EN-US">Formal Aspects<span style="letter-spacing: -0.05pt;"> </span>of Computing </span></i><span lang="EN-US">is pleased to announce a call for papers for a special<span style="letter-spacing: -0.1pt;"> </span>issue dedicated to the history
of formal methods. These techniques encompass mathematically based strategies for the specification, development, and verification of software and hardware systems and have played<span style="letter-spacing: -0.05pt;"> </span>a crucial role in advancing computing.<span style="letter-spacing: -0.05pt;"> </span>This<span style="letter-spacing: -0.15pt;"> </span>special<span style="letter-spacing: -0.15pt;"> </span>issue<span style="letter-spacing: -0.25pt;"> </span>will<span style="letter-spacing: -0.15pt;"> </span>shed<span style="letter-spacing: -0.2pt;"> </span>light<span style="letter-spacing: -0.2pt;"> </span>on<span style="letter-spacing: -0.2pt;"> </span>the<span style="letter-spacing: -0.25pt;"> </span>historical<span style="letter-spacing: -0.15pt;"> </span>development,
key<span style="letter-spacing: -0.1pt;"> </span>figures, landmark<span style="letter-spacing: -0.1pt;"> </span>projects, and<span style="letter-spacing: -0.2pt;"> </span>the broader impact of formal methods over the years.<o:p></o:p></span></p>
<p class="MsoBodyText"><span lang="EN-US"> </span></p>
<p class="MsoBodyText" style="margin-top: 1.85pt;"><span lang="EN-US"> </span></p>
<h1><span lang="EN-US" style="color: rgb(34, 31, 31); letter-spacing: -0.1pt;">Topics</span><span lang="EN-US"><o:p></o:p></span></h1>
<p class="MsoBodyText" style="margin: 0.4pt 86.8pt 0.0001pt 50.4pt; line-height: 14.373334px;">
<span lang="EN-US">We<span style="letter-spacing: -0.2pt;"> </span>invite<span style="letter-spacing: -0.2pt;"> </span>submissions<span style="letter-spacing: -0.1pt;"> </span>of<span style="letter-spacing: -0.2pt;"> </span>original<span style="letter-spacing: -0.1pt;"> </span>research<span style="letter-spacing: -0.15pt;"> </span>papers,
review<span style="letter-spacing: -0.45pt;"> </span>articles, and<span style="letter-spacing: -0.15pt;"> </span>insightful<span style="letter-spacing: -0.1pt;"> </span>essays<span style="letter-spacing: -0.1pt;"> </span>that explore various historical aspects
of formal methods, including <b>but not limited to</b>:<o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 13.25pt; margin-right: 68.8pt; margin-bottom: 0.0001pt; line-height: 101%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:101%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Foundational<span style="letter-spacing: -0.35pt;"> </span>Developments: </span></b><span lang="EN-US">Early<span style="letter-spacing: -0.2pt;"> </span>theoretical<span style="letter-spacing: -0.2pt;"> </span>foundations<span style="letter-spacing: -0.2pt;"> </span>and<span style="letter-spacing: -0.25pt;"> </span>seminal<span style="letter-spacing: -0.2pt;"> </span>works<span style="letter-spacing: -0.2pt;"> </span>that<span style="letter-spacing: -0.25pt;"> </span>shaped<span style="letter-spacing: -0.25pt;"> </span>the
field<span style="letter-spacing: -0.25pt;"> </span>of formal<span style="letter-spacing: -0.25pt;"> </span>methods.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.466666px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:77.3pt;line-height:98%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Pioneering<span style="letter-spacing: -0.4pt;"> </span>Researchers<span style="letter-spacing: -0.25pt;"> </span>and<span style="letter-spacing: -0.05pt;"> </span>Institutions: </span></b><span lang="EN-US">Biographical<span style="letter-spacing: -0.2pt;"> </span>studies<span style="letter-spacing: -0.2pt;"> </span>and<span style="letter-spacing: -0.25pt;"> </span>institutional<span style="letter-spacing: -0.2pt;"> </span>histories
highlighting contributions to advancing formal methods.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.15pt; margin-right: 85.15pt; margin-bottom: 0.0001pt; line-height: 98%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Case
Studies<span style="letter-spacing: -0.2pt;"> </span>of<span style="letter-spacing: -0.05pt;"> </span>Influential<span style="letter-spacing: -0.3pt;"> </span>Projects:<span style="letter-spacing: -0.05pt;"> </span></span></b><span lang="EN-US">In-depth<span style="letter-spacing: -0.15pt;"> </span>historical<span style="letter-spacing: -0.45pt;"> </span>analyses<span style="letter-spacing: -0.15pt;"> </span>of<span style="letter-spacing: -0.25pt;"> </span>significant<span style="letter-spacing: -0.2pt;"> </span>projects,
systems, or technologies that prominently featured formal methods.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:57.9pt;line-height:101%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:101%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Technological
and<span style="letter-spacing: -0.35pt;"> </span>Methodological Evolution: </span></b><span lang="EN-US">The<span style="letter-spacing: -0.3pt;"> </span>progression<span style="letter-spacing: -0.25pt;"> </span>and<span style="letter-spacing: -0.55pt;"> </span>refinement<span style="letter-spacing: -0.25pt;"> </span>of<span style="letter-spacing: -0.3pt;"> </span>formal<span style="letter-spacing: -0.5pt;"> </span>methods,
tools, and techniques.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.466666px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:84.25pt;line-height:98%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Impact<span style="letter-spacing: -0.3pt;"> </span>on<span style="letter-spacing: -0.25pt;"> </span>Software
and Hardware Engineering</span></b><span lang="EN-US">:<span style="letter-spacing: -0.15pt;"> </span>The<span style="letter-spacing: -0.2pt;"> </span>influence<span style="letter-spacing: -0.2pt;"> </span>of<span style="letter-spacing: -0.2pt;"> </span>formal<span style="letter-spacing: -0.45pt;"> </span>methods<span style="letter-spacing: -0.1pt;"> </span>on
software<span style="letter-spacing: -0.2pt;"> </span>and hardware engineering practices and methodologies.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:94.75pt;line-height:101%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:101%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Educational
Contributions<span style="letter-spacing: -0.15pt;"> </span>and<span style="letter-spacing: -0.25pt;"> </span>Initiatives</span></b><span lang="EN-US">:<span style="letter-spacing: -0.15pt;"> </span>The<span style="letter-spacing: -0.2pt;"> </span>role<span style="letter-spacing: -0.2pt;"> </span>of<span style="letter-spacing: -0.2pt;"> </span>formal<span style="letter-spacing: -0.1pt;"> </span>methods<span style="letter-spacing: -0.1pt;"> </span>in<span style="letter-spacing: -0.15pt;"> </span>academic
curricula<span style="letter-spacing: -0.35pt;"> </span>and educational programs.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.466666px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:52.2pt;line-height:98%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Comparative<span style="letter-spacing: -0.2pt;"> </span>Historical
Studies</span></b><span lang="EN-US">:<span style="letter-spacing: -0.2pt;"> </span>Cross-disciplinary<span style="letter-spacing: -0.4pt;"> </span>and<span style="letter-spacing: -0.2pt;"> </span>cross-cultural<span style="letter-spacing: -0.15pt;"> </span>comparisons<span style="letter-spacing: -0.45pt;"> </span>of<span style="letter-spacing: -0.25pt;"> </span>formal
methods<span style="letter-spacing: -0.15pt;"> </span>with similar approaches in other fields.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:81.85pt;line-height:98%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Archival<span style="letter-spacing: -0.3pt;"> </span>Discoveries</span></b><span lang="EN-US">:<span style="letter-spacing: -0.25pt;"> </span>Research<span style="letter-spacing: -0.25pt;"> </span>based<span style="letter-spacing: -0.25pt;"> </span>on<span style="letter-spacing: -0.25pt;"> </span>previously<span style="letter-spacing: -0.15pt;"> </span>unpublished<span style="letter-spacing: -0.25pt;"> </span>documents,
correspondence,<span style="letter-spacing: -0.05pt;"> </span>and archival materials related to formal methods.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-right:79.3pt;line-height:101%;
mso-list:l0 level1 lfo1;tab-stops:86.4pt">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:101%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US">Reflections<span style="letter-spacing: -0.5pt;"> </span>on<span style="letter-spacing: -0.25pt;"> </span>Historiography</span></b><span lang="EN-US">:<span style="letter-spacing: -0.45pt;"> </span>Methodological<span style="letter-spacing: -0.05pt;"> </span>and<span style="letter-spacing: -0.1pt;"> </span>historiographical<span style="letter-spacing: -0.05pt;"> </span>reflections<span style="letter-spacing: -0.05pt;"> </span>on
researching<span style="letter-spacing: -0.2pt;"> </span>and documenting the history of formal methods.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.466666px; font-family: Symbol;"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-top: 12.95pt;"><span lang="EN-US"> </span></p>
<h1><span lang="EN-US" style="color: rgb(34, 31, 31);">Important<span style="letter-spacing: -0.55pt;"> </span><span style="letter-spacing: -0.1pt;">Dates</span></span><span lang="EN-US"><o:p></o:p></span></h1>
<p class="MsoListParagraph" style="margin-top: 0.25pt; margin-left: 86.45pt; margin-bottom: 0.0001pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
mso-bidi-font-size:11.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol;color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Submission<span style="letter-spacing: -0.05pt;"> </span>Deadline</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">:<span style="letter-spacing: 0.1pt;"> </span>14<span style="letter-spacing: 0.35pt;"> </span>July<span style="letter-spacing: 0.2pt;"> </span><span style="letter-spacing: -0.2pt;">2025</span></span><span lang="EN-US" style="font-size: 10pt; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.25pt; margin-left: 86.45pt; margin-bottom: 0.0001pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
mso-bidi-font-size:11.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol;color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Notification<span style="letter-spacing: -0.1pt;"> </span>of<span style="letter-spacing: -0.05pt;"> </span>Acceptance</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">:<span style="letter-spacing: -0.25pt;"> </span>15<span style="letter-spacing: -0.05pt;"> </span>September<span style="letter-spacing: 0.2pt;"> </span><span style="letter-spacing: -0.2pt;">2025</span></span><span lang="EN-US" style="font-size: 10pt; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.3pt; margin-left: 86.45pt; margin-bottom: 0.0001pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
mso-bidi-font-size:11.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol;color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Final
Manuscript<span style="letter-spacing: -0.05pt;"> </span>Due</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">:<span style="letter-spacing: 0.2pt;"> </span>15<span style="letter-spacing: 0.4pt;"> </span>December<span style="letter-spacing: 0.35pt;"> </span><span style="letter-spacing: -0.2pt;">2025</span></span><span lang="EN-US" style="font-size: 10pt; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.25pt; margin-left: 86.45pt; margin-bottom: 0.0001pt;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;
mso-bidi-font-size:11.0pt;font-family:Symbol;mso-fareast-font-family:Symbol;
mso-bidi-font-family:Symbol;color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Publication<span style="letter-spacing: 0.05pt;"> </span>Date</span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">:<span style="letter-spacing: -0.15pt;"> </span>March<span style="letter-spacing: 0.45pt;"> </span><span style="letter-spacing: -0.2pt;">2026</span></span><span lang="EN-US" style="font-size: 10pt; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
</div>
<span lang="EN-US" style="font-size: 10pt; font-family: Symbol;"><br clear="all" style="break-before: page;">
</span><span style="font-family: -webkit-standard; font-size: medium;"></span>
<h1 style="margin-top: 2pt;"><span lang="EN-US" style="color: rgb(34, 31, 31);">Submission<span style="letter-spacing: -0.2pt;"> </span><span style="letter-spacing: -0.1pt;">Guidelines:</span></span><span lang="EN-US"><o:p></o:p></span></h1>
<p class="MsoListParagraph" style="margin-top: 0.25pt; margin-right: 54.3pt; margin-bottom: 0.0001pt; line-height: 100%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:100%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;
color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Manuscript
Preparation: </span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">Submissions should be original, unpublished works and<span style="letter-spacing: -0.1pt;"> </span>adhere to the journal's formatting<span style="letter-spacing: -0.25pt;"> </span>guidelines.
Detailed<span style="letter-spacing: -0.15pt;"> </span>submission </span><span lang="EN-US"><a href="https://dl.acm.org/journal/fac/author-guidelines"><span style="color: blue;">instructions</span></a><span style="color: blue; letter-spacing: -0.05pt;"> </span><span style="color: rgb(34, 31, 31);">are<span style="letter-spacing: -0.2pt;"> </span>available<span style="letter-spacing: -0.2pt;"> </span>on<span style="letter-spacing: -0.15pt;"> </span>the<span style="letter-spacing: -0.2pt;"> </span>Formal<span style="letter-spacing: -0.1pt;"></span>Aspects<span style="letter-spacing: -0.1pt;"> </span>of<span style="letter-spacing: -0.2pt;"> </span>Computing <span style="letter-spacing: -0.1pt;">website.</span></span></span><span lang="EN-US" style="font-size: 10pt; line-height: 13.333332px; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.1pt; margin-right: 51.35pt; margin-bottom: 0.0001pt; line-height: 98%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;
color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Length:<span style="letter-spacing: -0.25pt;"> </span></span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">Full-length<span style="letter-spacing: -0.55pt;"> </span>research<span style="letter-spacing: -0.2pt;"> </span>articles<span style="letter-spacing: -0.15pt;"> </span>should<span style="letter-spacing: -0.2pt;"> </span>be<span style="letter-spacing: -0.25pt;"> </span>at<span style="letter-spacing: -0.2pt;"> </span>least<span style="letter-spacing: -0.2pt;"> </span>16
pages.<span style="letter-spacing: -0.05pt;"> </span>Shorter<span style="letter-spacing: -0.05pt;"> </span>articles, including historical<span style="letter-spacing: -0.1pt;"> </span>notes and essays, are also welcome.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.35pt; margin-right: 85.35pt; margin-bottom: 0.0001pt; line-height: 101%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:101%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;
color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Format:<span style="letter-spacing: -0.2pt;"> </span></span></b><span lang="EN-US" style="color: rgb(34, 31, 31);">Manuscripts<span style="letter-spacing: -0.1pt;"> </span>should<span style="letter-spacing: -0.15pt;"> </span>be<span style="letter-spacing: -0.2pt;"> </span>submitted<span style="letter-spacing: -0.15pt;"> </span>in<span style="letter-spacing: -0.15pt;"> </span>PDF<span style="letter-spacing: -0.1pt;"> </span>format.<span style="letter-spacing: -0.35pt;"> </span>Authors<span style="letter-spacing: -0.1pt;"> </span>are<span style="letter-spacing: -0.2pt;"> </span>encouraged<span style="letter-spacing: -0.5pt;"> </span>to<span style="letter-spacing: -0.15pt;"> </span>use<span style="letter-spacing: -0.2pt;"></span>LaTeX<span style="letter-spacing: -0.05pt;"> </span>for
document preparation, though Word submissions are also accepted.</span><span lang="EN-US" style="font-size: 10pt; line-height: 13.466666px; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoListParagraph" style="margin-top: 0.1pt; margin-right: 150.9pt; margin-bottom: 0.0001pt; line-height: 98%;">
<!--[if !supportLists]--><span lang="EN-US" style="font-size:10.0pt;mso-bidi-font-size:11.0pt;line-height:98%;
font-family:Symbol;mso-fareast-font-family:Symbol;mso-bidi-font-family:Symbol;
color:#221F1F">·<span style="font-style: normal; font-variant-caps: normal; font-stretch: normal; font-size: 7pt; line-height: normal; font-family: "Times New Roman"; font-size-adjust: none; font-kerning: auto; font-variant-alternates: normal; font-variant-ligatures: normal; font-variant-numeric: normal; font-variant-east-asian: normal; font-variant-position: normal; font-variant-emoji: normal; font-feature-settings: normal; font-optical-sizing: auto; font-variation-settings: normal;"> </span></span><!--[endif]--><b><span lang="EN-US" style="color: rgb(34, 31, 31);">Peer<span style="letter-spacing: -0.1pt;"> </span>Review:<span style="letter-spacing: -0.2pt;"> </span></span></b><span lang="EN-US"><font color="#221f1f">All</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.15pt;"> </span><font color="#221f1f">submissions</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.15pt;"> </span><font color="#221f1f">will</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.15pt;"> </span><font color="#221f1f">be</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.55pt;"> </span><font color="#221f1f">reviewed</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.2pt;"> </span><font color="#221f1f">by</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.1pt;"> </span><font color="#221f1f">distinguished</font><span style="color: rgb(34, 31, 31); letter-spacing: -0.2pt;"> </span><font color="#221f1f"><span style="caret-color: rgb(34, 31, 31);">formal
methods</span><span style="letter-spacing: -0.15pt;"> </span>and computing history experts.</font></span><span lang="EN-US" style="font-size: 10pt; line-height: 13.066667px; font-family: Symbol; color: rgb(34, 31, 31);"><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-top: 0.2pt;"><span lang="EN-US"> </span></p>
<h1><span lang="EN-US" style="color: rgb(34, 31, 31);">Submission<span style="letter-spacing: -0.6pt;"> </span><span style="letter-spacing: -0.1pt;">Portal</span></span><span lang="EN-US" style="color: rgb(34, 31, 31); letter-spacing: -0.1pt; font-weight: normal;">:</span><span lang="EN-US" style="font-weight: normal;"><o:p></o:p></span></h1>
<p class="MsoBodyText" style="margin-top: 0.7pt; margin-bottom: 0.0001pt; margin-left: 68.4pt; text-indent: -0.4pt; line-height: 14.373334px;">
<span lang="EN-US" style="color: rgb(34, 31, 31);">Manuscripts<span style="letter-spacing: -0.15pt;"> </span>should<span style="letter-spacing: -0.2pt;"> </span>be<span style="letter-spacing: -0.25pt;"> </span>submitted<span style="letter-spacing: -0.2pt;"> </span>electronically<span style="letter-spacing: -0.1pt;"> </span>through<span style="letter-spacing: -0.2pt;"> </span>the<span style="letter-spacing: -0.25pt;"> </span>journal's<span style="letter-spacing: -0.15pt;"> </span>online<span style="letter-spacing: -0.25pt;"> </span>submission<span style="letter-spacing: -0.2pt;"> </span>system
at </span><span lang="EN-US"><a href="https://mc.manuscriptcentral.com/fac"><span style="color: blue; letter-spacing: -0.1pt;">https://mc.manuscriptcentral.com/fac</span></a><span style="color: rgb(34, 31, 31); letter-spacing: -0.1pt;">.</span><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin: 13.3pt 52.4pt 0.0001pt 50.4pt; line-height: 14.813334px;">
<span lang="EN-US" style="color: rgb(34, 31, 31);">For<span style="letter-spacing: -0.15pt;"> </span>questions<span style="letter-spacing: -0.2pt;"> </span>and<span style="letter-spacing: -0.25pt;"> </span>further<span style="letter-spacing: -0.15pt;"> </span>information,<span style="letter-spacing: -0.1pt;"> </span>please<span style="letter-spacing: -0.15pt;"> </span>get<span style="letter-spacing: -0.25pt;"> </span>in<span style="letter-spacing: -0.25pt;"> </span>touch<span style="letter-spacing: -0.25pt;"> </span>with<span style="letter-spacing: -0.25pt;"> </span>the<span style="letter-spacing: -0.3pt;"> </span>special<span style="letter-spacing: -0.2pt;"> </span>issue<span style="letter-spacing: -0.3pt;"> </span>editors<span style="letter-spacing: -0.2pt;"> </span>at </span><span lang="EN-US"><a href="mailto:cliff.jones@newcastle.ac.uk"><span style="color: blue;">cliff.jones@newcastle.ac.uk</span></a><span style="color: blue;"> </span><span style="color: rgb(34, 31, 31);">and </span><a href="mailto:jim.woodcock@york.ac.uk"><span style="color: blue;">jim.woodcock@york.ac.uk</span></a><span style="color: rgb(34, 31, 31);">.</span><o:p></o:p></span></p>
<p class="MsoBodyText" style="margin-top: 12.95pt; margin-bottom: 0.0001pt; margin-left: 50.4pt;">
<span lang="EN-US" style="color: rgb(34, 31, 31);">We<span style="letter-spacing: -0.45pt;"> </span>look<span style="letter-spacing: -0.3pt;"> </span>forward<span style="letter-spacing: -0.35pt;"> </span>to<span style="letter-spacing: -0.4pt;"> </span>your<span style="letter-spacing: -0.2pt;"> </span>contributions<span style="letter-spacing: -0.35pt;"> </span>to<span style="letter-spacing: -0.35pt;"> </span>this<span style="letter-spacing: -0.35pt;"> </span>special<span style="letter-spacing: -0.35pt;"> </span>issue<span style="letter-spacing: -0.4pt;"> </span>exploring<span style="letter-spacing: -0.15pt;"> </span>the<span style="letter-spacing: -0.4pt;"> </span>rich<span style="letter-spacing: -0.15pt;"> </span>history<span style="letter-spacing: -0.25pt;"> </span>of<span style="letter-spacing: -0.45pt;"> </span>formal<span style="letter-spacing: -0.3pt;"> </span><span style="letter-spacing: -0.1pt;">methods.</span></span><span lang="EN-US"><o:p></o:p></span></p>
</body>
</html>