<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=utf-8">
<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:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 5 2 4 2 4 2 2 3;}
@font-face
{font-family:"Century Gothic";
panose-1:2 11 5 2 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;}
@page WordSection1
{size:8.5in 11.0in;
margin:1.0in 1.0in 1.0in 1.0in;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:109055987;
mso-list-template-ids:1179023220;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1
{mso-list-id:221137507;
mso-list-template-ids:337432182;}
@list l1:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l1:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2
{mso-list-id:339936130;
mso-list-template-ids:-2116893954;}
@list l2:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l2:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3
{mso-list-id:471754215;
mso-list-template-ids:1492539020;}
@list l3:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l3:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4
{mso-list-id:1344674179;
mso-list-template-ids:-1139874182;}
@list l4:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l4:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5
{mso-list-id:1516915611;
mso-list-template-ids:-1834981624;}
@list l5:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l5:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6
{mso-list-id:1614902233;
mso-list-template-ids:1425996680;}
@list l6:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l6:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7
{mso-list-id:1786776196;
mso-list-template-ids:1224118786;}
@list l7:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l7:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8
{mso-list-id:1954943080;
mso-list-template-ids:1244549360;}
@list l8:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l8:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9
{mso-list-id:2105495184;
mso-list-template-ids:1446046914;}
@list l9:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level2
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level3
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:1.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:2.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:3.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
@list l9:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:4.5in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:Symbol;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style>
</head>
<body lang="EN-US" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" align="center" style="text-align:center;vertical-align:baseline">
<span style="font-size:20.0pt;font-family:"Century Gothic",sans-serif;mso-ligatures:none">17</span><sup><span style="font-size:16.0pt;font-family:"Century Gothic",sans-serif;mso-ligatures:none">th</span></sup><span style="font-size:20.0pt;font-family:"Century Gothic",sans-serif;mso-ligatures:none">
NASA Formal Methods Symposium (NFM’25) </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" align="center" style="text-align:center;vertical-align:baseline">
<span style="font-size:14.0pt;font-family:"Century Gothic",sans-serif;color:#ADADAD;mso-ligatures:none">11-13 June 2025 </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#ADADAD;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" align="center" style="text-align:center;vertical-align:baseline">
<span style="font-size:14.0pt;font-family:"Century Gothic",sans-serif;color:#ADADAD;mso-ligatures:none">Hampton Roads, VA </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#ADADAD;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" align="center" style="text-align:center;vertical-align:baseline">
<span style="font-size:16.0pt;font-family:"Century Gothic",sans-serif;color:black;mso-ligatures:none">Call for
</span><span style="font-size:16.0pt;font-family:"Century Gothic",sans-serif;color:#0F4761;mso-ligatures:none">Papers </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#0F4761;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-size:13.0pt;font-family:"Century Gothic",sans-serif;color:#4C94D8;mso-ligatures:none">Symposium Theme </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#4C94D8;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and in the aerospace industry
requires advanced technologies to address their specification, design, verification, validation, and certification. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, other government agencies,
academia, and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems. The focus of this symposium is on formal techniques for software and system assurance for applications in space,
aviation, robotics, and other NASA-relevant critical systems. </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-size:13.0pt;font-family:"Century Gothic",sans-serif;color:#4C94D8;mso-ligatures:none">Topics of Interest </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#4C94D8;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.75in;text-indent:0in;mso-list:l2 level1 lfo6;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol;mso-ligatures:none"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Advances in Formal Methods – Formal verification, model checking, <br>
and static analysis; interactive and automated theorem proving; program and specification synthesis, code transformation and generation; run-time verification and test case generation; techniques and algorithms for scaling formal methods; design for verification
and correct-by-design techniques; requirements generation, specification, and validation. <o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.75in;text-indent:0in;mso-list:l0 level1 lfo7;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol;mso-ligatures:none"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Integration of Formal Methods – Use of ML techniques in formal methods; integration of formal methods and software engineering; integration of diverse formal
methods techniques; integration of formal methods with simulation, analysis, and test approaches. <o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.75in;text-indent:0in;mso-list:l5 level1 lfo8;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol;mso-ligatures:none"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Formal Methods in Practice – Experience reports on applications of formal methods in industry; use of formal methods in education; applications of formal
methods to concurrent and distributed systems, human-machine systems, autonomous systems, and fault-detection, diagnostics, and prognostics systems. <o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-size:13.0pt;font-family:"Century Gothic",sans-serif;color:#4C94D8;mso-ligatures:none">Submission </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#4C94D8;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">There are two categories of submissions: </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.75in;text-indent:0in;mso-list:l1 level1 lfo9;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol;mso-ligatures:none"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Regular papers – Up to 15 pages plus references. Regular papers describe fully developed work and complete results. <o:p></o:p></span></p>
<p class="MsoNormal" style="margin-left:.75in;text-indent:0in;mso-list:l8 level1 lfo10;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol;mso-ligatures:none"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Short papers — Up to 6 pages plus references. Short papers describe either novel and publicly available tools, case studies detailing applications of formal
methods, or new emerging ideas in the topics of interest. <o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">All papers should be in English and describe original work that has not been published or submitted elsewhere. Authors of accepted
papers must present their work in person at the conference. </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">NFM prohibits the use of generative AI to create the textual narrative of the paper. However, the use of generative AI to create examples
(such as text, tables, graphics, and code) that support the paper is permitted, but this must be disclosed in the paper. Basic word processing systems that recommend and insert replacement text, perform spelling or grammar checks and corrections, or systems
that do language translations need not be disclosed in the paper. </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">All submissions will be fully reviewed by members of the Program Committee. NFM is currently arranging to publish accepted regular
and short papers in the Formal Methods subline of Springer’s Lecture Notes in Computer Science (LNCS). Authors should therefore use the LNCS style formatting described at</span><span style="font-family:"Arial",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.springer.com%2Fgp%2Fcomputer-science%2Flncs%2Fconference-proceedings-guidelines&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C6ee2e88058114a6ac68608dd0a3c5855%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638677976469549443%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=TX1Zt6HY%2B6qZZxsFNEIjfvPPl8sOzF8WHpbFN7NKvdE%3D&reserved=0" originalsrc="https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines" shash="lLhpr3qkOrl2SM4cqIhyF6ER8zVEB+Y+Ctk/KPLlBFdC+FEDvECTFfkbTsPCf8r0NtC2/OPjcB6M7gTv9cj53EZxhgYZg9sNlARsoeTJOIGxXnciKrCDkqdfeRMMoKM1ZO1Ybk8XjiHBrKSXEG/C6BBJ+MQeYOkn++3N0OLebUQ=" target="_blank"><span style="font-size:11.0pt;font-family:"Century Gothic",sans-serif;color:#0070C0">https://www.springer.com/gp/computer-science/lncs/conference-proceedings-guidelines</span></a></span><span style="font-family:"Century Gothic",sans-serif;color:#0070C0;mso-ligatures:none">.</span><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">
Papers must be submitted in PDF format through the EasyChair submission site,</span><span style="font-family:"Arial",sans-serif;color:#0070C0;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fconferences%2F%3Fconf%3Dnfm2025&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C6ee2e88058114a6ac68608dd0a3c5855%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638677976469549443%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=%2BcAp9N1IZbn3nvB%2FOXOTJ3qoL5qbfSIsUwEIypDzQs8%3D&reserved=0" originalsrc="https://easychair.org/conferences/?conf=nfm2025" shash="VWKToaGENjwx62bOBKdjFFjNZ1WH/fmxR0Eqv+tyhoYbXUZQPJYZIieCv9wwGAdg40mARZfEQGvy79aKERo9LIAKKX4PenOIW2dNeghI8IpxswAqGadtYJ7Gg2Mrw9vTT+XmfJj6QJJBfa3PZy1/6VCMWmG8HecRQwT9rZA+dPU=" target="_blank"><span style="font-size:11.0pt;font-family:"Century Gothic",sans-serif;color:#0070C0">https://easychair.org/conferences/?conf=nfm2025</span></a></span><span style="font-family:"Century Gothic",sans-serif;color:#0070C0;mso-ligatures:none">. </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-size:13.0pt;font-family:"Century Gothic",sans-serif;color:#4C94D8;mso-ligatures:none">Important Dates </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#4C94D8;mso-ligatures:none"><o:p></o:p></span></p>
<table class="MsoNormalTable" border="0" cellpadding="0" width="0">
<tbody>
<tr style="height:15.0pt">
<td width="210" valign="top" style="width:157.5pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Paper submission </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="203" valign="top" style="width:152.25pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">December 13, 2024 </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:15.0pt">
<td width="210" valign="top" style="width:157.5pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Author notification </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="203" valign="top" style="width:152.25pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">February 14, 2025 </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:15.0pt">
<td width="210" valign="top" style="width:157.5pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Camera ready deadline </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="203" valign="top" style="width:152.25pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">March 14, 2025 </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
</tr>
<tr style="height:15.0pt">
<td width="210" valign="top" style="width:157.5pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">Symposium </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
<td width="203" valign="top" style="width:152.25pt;padding:0in 0in 0in 0in;height:15.0pt">
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">June 11-13, 2025 </span><span style="font-size:12.0pt;mso-ligatures:none"><o:p></o:p></span></p>
</td>
</tr>
</tbody>
</table>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-size:13.0pt;font-family:"Century Gothic",sans-serif;color:#4C94D8;mso-ligatures:none">Location and Cost </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;color:#4C94D8;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">The symposium will be hosted by the Computer Science Department at the College of William & Mary, in historic Williamsburg, VA. Williamsburg
is located about 150 miles south of Washington, D.C., and midway between Richmond and Norfolk on Interstate 64. It is home to an award-winning theme park, several recreation opportunities and the world's largest living history museum. For information about
visiting the William & Mary campus, including lodging options, see </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><a href="https://gcc02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.wm.edu%2Fabout%2Fvisiting%2F&data=05%7C02%7Cfm-announcements%40lists.nasa.gov%7C6ee2e88058114a6ac68608dd0a3c5855%7C7005d45845be48ae8140d43da96dd17b%7C0%7C0%7C638677976469705704%7CUnknown%7CTWFpbGZsb3d8eyJFbXB0eU1hcGkiOnRydWUsIlYiOiIwLjAuMDAwMCIsIlAiOiJXaW4zMiIsIkFOIjoiTWFpbCIsIldUIjoyfQ%3D%3D%7C0%7C%7C%7C&sdata=Lnn6SZx4Qn7A%2BEauqGqGDbRoNOiRfzMy%2Byw%2FffeW35k%3D&reserved=0" originalsrc="https://www.wm.edu/about/visiting/" shash="gFVdnR81looUpIuBqcEWWmUy++LHitLCfUacq2j+fMWnD5pxij3bOgnp7Fg3CJl9vpK3+4y8UxIkQQpaYyE4Y+OUxGCr4ByfUDJLjbQua3AjxgB5kMJbgWzlUvymX45O7qX3R0gbXoGYQN5rqUmy+w1Pze6aakZsxXzfi4y7jXs=" target="_blank"><span style="font-size:11.0pt;font-family:"Century Gothic",sans-serif;color:#0070C0">www.wm.edu/about/visiting/</span></a></span><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none">There will be no registration fee charged to participants. All interested individuals, including non-US citizens, are welcome to attend,
listen to the talks, and participate in discussions. However, all attendees must register. </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal" style="vertical-align:baseline"><span style="font-family:"Century Gothic",sans-serif;mso-ligatures:none"> </span><span style="font-size:9.0pt;font-family:"Segoe UI",sans-serif;mso-ligatures:none"><o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>