<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:Wingdings;
panose-1:5 0 0 0 0 0 0 0 0 0;}
@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:0in;
margin-bottom:.0001pt;
font-size:12.0pt;
font-family:"Calibri",sans-serif;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:#954F72;
text-decoration:underline;}
p.msonormal0, li.msonormal0, div.msonormal0
{mso-style-name:msonormal;
mso-margin-top-alt:auto;
margin-right:0in;
mso-margin-bottom-alt:auto;
margin-left:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;}
span.EmailStyle18
{mso-style-type:personal;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.EmailStyle20
{mso-style-type:personal-reply;
font-family:"Calibri",sans-serif;
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:10.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:1604191242;
mso-list-template-ids:1350756526;}
@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:o;
mso-level-tab-stop:1.0in;
mso-level-number-position:left;
text-indent:-.25in;
mso-ansi-font-size:10.0pt;
font-family:"Courier New";
mso-bidi-font-family:"Times New Roman";}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style>
</head>
<body lang="EN-US" link="#0563C1" vlink="#954F72">
<div class="WordSection1">
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">*********************************************************************</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"> The Twelfth NASA Formal Methods Symposium </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"> </span><span style="font-size:10.0pt;color:black"><a href="https://ti.arc.nasa.gov/events/nfm-2020/"><span style="font-family:"Arial",sans-serif;color:#1155CC">https://ti.arc.nasa.gov/events/nfm-2020/</span></a></span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"> 11 - 15 May 2020 </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"> NASA Ames Research Center, Moffett Field, CA, USA</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">********************************************************************</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Extended Deadline</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">-------------------------</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Abstract Submission:
<s>12 Dec 2019</s> 24 Dec 2019 </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Paper Submission:
<s>19 Dec 2019</s> 30 Dec 2019</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Paper Notifications: 20 Feb 2020</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Camera-ready Papers: 27 Mar 2020</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Symposium: 11-15 May 2020</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Theme of the Symposium:</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">----------------------------------</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">The widespread use and increasing complexity of mission-critical and safety-critical systems at NASA and the aerospace industry
requires advanced techniques that address their specification, design, verification, validation, and certification requirements. The NASA Formal Methods Symposium is a forum to foster collaboration between theoreticians and practitioners from NASA, academia,
and industry, with the goal of identifying challenges and providing solutions towards achieving assurance for such critical systems.</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">New developments and emerging applications like autonomous on-board Software for Unmanned Aerial Systems (UAS), UAS Traffic
Management (UTM), advanced separation assurance algorithms for aircraft, and the need for system-wide fault detection, diagnosis, and prognostics provide new challenges for system specification, development, and verification approaches. The focus of these
symposiums are on formal techniques and other approaches for software assurance, including their theory, current capabilities and limitations, as well as their potential application to aerospace, robotics, and other NASA-relevant safety-critical systems during
all stages of the software life-cycle.</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Topics of Interest:</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">-----------------------</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:0in;margin-bottom:11.0pt;margin-left:0in;background:white">
<span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">We encourage submissions on cross-cutting approaches that bring together formal methods and techniques from other domains such as probabilistic reasoning, machine learning, control theory,
robotics, and quantum computing among others.</span><o:p></o:p></p>
<p style="mso-margin-top-alt:8.0pt;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Formal verification, including theorem proving, model checking, and static analysis</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Advances in automated theorem proving including SAT and SMT solving</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Run-time verification</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Techniques and algorithms for scaling formal methods, such as abstraction and symbolic methods, compositional techniques, as well as parallel and/or distributed
techniques</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Code generation from formally verified models</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Safety cases and system safety</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Formal approaches to fault tolerance</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Design for verification and correct-by-design techniques</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Theoretical advances and empirical evaluations of formal methods techniques for safety-critical systems, including hybrid and embedded systems</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Formal methods in systems engineering and model-based development</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Applications of formal methods in the development of:</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">autonomous systems</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">safety-critical artificial intelligence systems</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">cyber-physical, cyber-security, embedded, and hybrid systems</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">fault-detection, diagnostics, and prognostics systems</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:11.0pt;margin-bottom:0in;margin-left:59.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level1 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:Symbol"><span style="mso-list:Ignore">·<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Use of formal methods in:</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">assurance cases</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">human-machine interaction analysis</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:0in;margin-left:118.0pt;margin-bottom:.0001pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">requirements generation, specification, and validation</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:22.0pt;margin-bottom:44.0pt;margin-left:118.0pt;text-indent:-.25in;mso-list:l0 level2 lfo2;background:white;vertical-align:baseline">
<![if !supportLists]><span style="font-size:10.0pt;font-family:"Courier New""><span style="mso-list:Ignore">o<span style="font:7.0pt "Times New Roman"">
</span></span></span><![endif]><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">automated testing and verification</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Location & Cost:</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">----------------------</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">The symposium will take place in Building 3, NASA Ames Research Center, Moffett Field, CA,USA, May 11--15, 2020.</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">There will be no registration fee for participants. All interested individuals, including non-US citizens, are welcome to
attend, to listen to the talks, and to participate in discussions; however, all attendees must register.</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;color:black"> </span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Organizers:</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">---------------</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Dimitra Giannakopoulou (General Chair)</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Anastasia Mavridou (General Chair)</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Ritchie Lee (PC Chair)</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Susmit Jha (PC Chair)</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Maxime Arthaud (Local Organization)</span><o:p></o:p></p>
<p style="margin:0in;margin-bottom:.0001pt;background:white"><span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Hamza Bourbouh (Local Organization)</span><o:p></o:p></p>
<p style="mso-margin-top-alt:0in;margin-right:0in;margin-bottom:9.0pt;margin-left:0in;background:white">
<span style="font-size:10.0pt;font-family:"Arial",sans-serif;color:black">Mohammad Hejase (Local Organization)</span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:10.0pt"> </span><o:p></o:p></p>
<p class="MsoNormal"><span style="font-size:10.0pt"> </span><o:p></o:p></p>
</div>
</body>
</html>