<html xmlns:v="urn:schemas-microsoft-com:vml" 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;}
@font-face
{font-family:Roboto;
panose-1:0 0 0 0 0 0 0 0 0 0;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0in;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
.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:268590428;
mso-list-template-ids:-1436802210;}
@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;}
@list l1
{mso-list-id:377626647;
mso-list-template-ids:-2082276828;}
@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: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 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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@list l2
{mso-list-id:1980651317;
mso-list-template-ids:-1193667748;}
@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: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 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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@list l3
{mso-list-id:2111729291;
mso-list-template-ids:506249628;}
@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: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 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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
@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:Wingdings;}
ol
{margin-bottom:0in;}
ul
{margin-bottom:0in;}
--></style><!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoNormal" style="background:white"><b><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">SMT 2021: 19th International Workshop on Satisfiability Modulo Theories</span></b><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><i><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">ONLINE</span></i><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p class="MsoNormal" style="background:white"><i><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">July 18-19, 2021</span></i><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p class="MsoNormal"><b><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black;background:white"><br>
Conference website: </span></b><a href="http://smt-workshop.cs.uiowa.edu/2021/"><span style="font-size:10.5pt;font-family:"Roboto",serif;color:#2962FF;background:white;text-decoration:none">http://smt-workshop.cs.uiowa.edu/2021/</span></a><b><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black;background:white"><br>
Submission link: </span></b><a href="https://easychair.org/conferences/?conf=smt2021"><span style="font-size:10.5pt;font-family:"Roboto",serif;color:#2962FF;background:white;text-decoration:none">https://easychair.org/conferences/?conf=smt2021</span></a><b><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black;background:white"><br>
Submission deadline: </span></b><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black;background:white">May 7, 2021</span><o:p></o:p></p>
<p style="background:white"><strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Overview</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">SMT 2021 is affiliated with CAV 2021. Both events will be virtual.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">The aim of the workshop is to bring together researchers and users of SMT tools and techniques. Relevant topics include but are not limited to:</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Decision procedures and theories of interest</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Combinations of decision procedures</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Novel implementation techniques</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Benchmarks and evaluation methodologies</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Applications and case studies</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l0 level1 lfo1;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Theoretical results</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li></ul>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Papers on pragmatic aspects of implementing and using SMT tools, as well as novel applications of SMT, are especially encouraged.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Important Dates</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l1 level1 lfo2;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Paper submission: ̶A̶p̶r̶i̶l̶ ̶3̶0̶ <strong><span style="font-family:"Roboto",serif">May 7, 2021</span></strong> AoE (Anywhere on Earth)</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l1 level1 lfo2;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Notification: <strong><span style="font-family:"Roboto",serif">June 4, 2021</span></strong></span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l1 level1 lfo2;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Workshop: <strong><span style="font-family:"Roboto",serif">July 18-19, 2021</span></strong></span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li></ul>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Submission Guidelines</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">We invite researchers to submit extended abstracts, original papers, and presentation only-papers. We intend to publish open-access proceedings for SMT 2021 as a volume of the <a href="https://easychair.org/publications/EPiC"><span style="color:#2962FF;text-decoration:none">EPiC
Series EasyChair Proceedings</span></a>. Extended abstracts and original papers must not have been published or submitted elsewhere and will be included in the proceedings.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l2 level1 lfo3;background:white;-webkit-tap-highlight-color: transparent">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Extended abstracts:</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black"> given the informal style of the workshop, we strongly encourage the submission
of preliminary reports of work in progress. They may range in length from very short (a couple of pages) to the full 10 pages and they will be judged based on the expected level of interest for the SMT community.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l2 level1 lfo3;background:white;-webkit-tap-highlight-color: transparent">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Original papers:</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black"> contain original research and sufficient detail to assess the merits and relevance
of the submission. For papers reporting experimental results, authors are strongly encouraged to make their data available.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l2 level1 lfo3;background:white;-webkit-tap-highlight-color: transparent">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Presentation-only papers:</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black"> describe work recently published or submitted and will not be included
in the proceedings. We see this as a way to provide additional access to important developments that SMT Workshop attendees may be unaware of.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li></ul>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Papers in all three categories will be peer-reviewed. Original papers and extended abstracts should not exceed 10 pages and should be in standard-conforming PDF. Technical details may be
included in an appendix to be read at the reviewers' discretion. Final versions should be prepared in LaTeX using the <a href="https://easychair.org/publications/for_authors"><span style="color:#2962FF;text-decoration:none">easychair.cls</span></a> class file.
(The 10 page limit does not include references.) Presentation-only papers may be submitted as originally published, if published elsewhere, and should not exceed 10 pages otherwise.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">To submit, please go to the <a href="https://easychair.org/conferences/?conf=smt2021"><span style="color:#2962FF;text-decoration:none">EasyChair page</span></a> and follow the instructions
there.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Organizers and Program Committee</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">See <a href="http://smt-workshop.cs.uiowa.edu/2021/committees.shtml"><span style="color:#2962FF;text-decoration:none">SMT 2021 Organizers and Program Committee</span></a>.</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<p style="background:white;-webkit-tap-highlight-color: transparent;color:rgba(0, 0, 0, 0.87);font-variant-ligatures: normal;font-variant-caps: normal;orphans: 2;text-align:start;widows: 2;-webkit-text-stroke-width: 0px;text-decoration-thickness: initial;text-decoration-style: initial;text-decoration-color: initial;word-spacing:0px">
<strong><span style="font-size:10.5pt;font-family:"Roboto",serif;color:black">Invited Speakers</span></strong><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></p>
<ul type="disc">
<li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l3 level1 lfo4;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black"><a href="https://web.eecs.umich.edu/~karem/"><span style="color:#2962FF;text-decoration:none">Karem Sakallah</span></a>, University of Michigan</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li><li class="MsoNormal" style="mso-margin-top-alt:auto;mso-margin-bottom-alt:auto;mso-list:l3 level1 lfo4;background:white;-webkit-tap-highlight-color: transparent">
<span style="font-size:10.5pt;font-family:"Roboto",serif;color:black"><a href="https://www.katz-lab.com/"><span style="color:#2962FF;text-decoration:none">Guy Katz</span></a>, University of Jerusalem</span><span style="font-size:10.5pt;font-family:"Roboto",serif"><o:p></o:p></span></li></ul>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
<p>---------------------------------------------------------------------<br>
Intel Israel (74) Limited</p>
<p>This e-mail and any attachments may contain confidential material for<br>
the sole use of the intended recipient(s). Any review or distribution<br>
by others is strictly prohibited. If you are not the intended<br>
recipient, please contact the sender and delete all copies.</p></body>
</html>