<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:Aptos;
panose-1:2 11 0 4 2 2 2 2 2 4;}
@font-face
{font-family:"Segoe UI";
panose-1:2 11 6 4 2 2 2 2 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Aptos",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#467886;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
mso-margin-top-alt:auto;
margin-right:0cm;
mso-margin-bottom-alt:auto;
margin-left:0cm;
font-size:12.0pt;
font-family:"Aptos",sans-serif;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Aptos",sans-serif;
color:windowtext;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Aptos",sans-serif;
mso-ligatures:none;
mso-fareast-language:EN-GB;}
span.apple-converted-space
{mso-style-name:apple-converted-space;}
.MsoChpDefault
{mso-style-type:export-only;
font-size:11.0pt;
mso-fareast-language:EN-US;}
@page WordSection1
{size:612.0pt 792.0pt;
margin:72.0pt 72.0pt 72.0pt 72.0pt;}
div.WordSection1
{page:WordSection1;}
/* List Definitions */
@list l0
{mso-list-id:478881937;
mso-list-template-ids:-429883502;}
@list l0:level1
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:36.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
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:72.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
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:108.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level4
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:144.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level5
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:180.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level6
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:216.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level7
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:252.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level8
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:288.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
@list l0:level9
{mso-level-number-format:bullet;
mso-level-text:;
mso-level-tab-stop:324.0pt;
mso-level-number-position:left;
text-indent:-18.0pt;
mso-ansi-font-size:10.0pt;
font-family:Wingdings;}
ol
{margin-bottom:0cm;}
ul
{margin-bottom:0cm;}
--></style>
</head>
<body lang="en-NL" link="#467886" vlink="#96607D" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white">*<b>Many good reasons to submit your paper to TAP</b>*<o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white">TAP submission deadline has been extended to June 14 (with optional abstract submission deadline June 12),
see </span><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"><a href="https://urldefense.com/v3/__https://tapconference.github.io/2024/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194tvgRciI$" title="Original URL:
https://tapconference.github.io/2024/
Click to follow link."><span style="color:#0563C1">https://tapconference.github.io/2024/</span></a></span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">
for all information.<o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"><o:p> </o:p></span></p>
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">We are excited to announce that we
<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">
<span style="font-family:"Calibri",sans-serif"><a href="https://urldefense.com/v3/__https://www.maynoothuniversity.ie/faculty-science-engineering/our-people/rosemary-monahan__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194n24xY4I$">Rosemary Monahan</a> (Maynooth University, Ireland)<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">
<span style="font-family:"Calibri",sans-serif"><a href="https://urldefense.com/v3/__https://www.isse.tu-clausthal.de/ueber-uns/team-neu/professoren-und-dozenten/prof-dr-ruediger-ehlers__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194nY-iget$">Rüdiger Ehlers</a> (TU Clausthal, Germany)<o:p></o:p></span></li></ul>
<p class="MsoPlainText" style="margin:0cm"><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black;background:white">will be this year’s invited speakers for TAP.<o:p></o:p></span></p>
<p class="MsoNormal"><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<span style="background:white">TAP will be colocated with a number of long standing and reknown formal methods conferences in the week of September 9th in Milan, Italy. Namely:</span><br>
<br>
<span style="background:white">- FM: </span></span><span style="color:black"><a href="https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194qqoD030$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.fm24.polimi.it%2F&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480686445%7CUnknown%7CTWFpbGZsb3d8eyJWIj"><span style="color:#467886">https://www.fm24.polimi.it/</span></a></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<span style="background:white">- FMICS: </span></span><span style="color:black"><a href="https://urldefense.com/v3/__https://fmics.inria.fr/2024/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194tOBFxbf$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Ffmics.inria.fr%2F2024%2F&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480695068%7CUnknown%7CTWFpbGZsb3d8eyJ"><span style="color:#467886">https://fmics.inria.fr/2024/</span></a></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<span style="background:white">- PPDP: </span></span><span style="color:black"><a href="https://urldefense.com/v3/__https://ppdp2024.github.io/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194j0DGzgP$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fppdp2024.github.io%2F&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480703400%7CUnknown%7CTWFpbGZsb3d8eyJWIj"><span style="color:#467886">https://ppdp2024.github.io/</span></a></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<span style="background:white">- LOPSTR: </span></span><span style="color:black"><a href="https://urldefense.com/v3/__https://lopstr.github.io/2024/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194vN2_kTj$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Flopstr.github.io%2F2024%2F&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480711558%7CUnknown%7CTWFpbGZsb3d8e"><span style="color:#467886">https://lopstr.github.io/2024/</span></a></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<span style="background:white">- FACS: </span></span><span style="color:black"><a href="https://urldefense.com/v3/__https://facs-conference.github.io/2024/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194rMSK4j7$" title="Original URL:
https://facs-conference.github.io/2024/
Click to follow link."><span style="color:#467886">https://facs-conference.github.io/2024/</span></a></span><span style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black"><br>
<br>
<span style="background:white">There will also be an industry day and workshops. The list of workshops is: FMxSL, PAVeTrust, CPA, Overture, and FMTea</span></span><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white"><o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white">We look forward to your submissions!<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white"><o:p> </o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white">Falk Howar and Marieke Huisman<o:p></o:p></span></p>
<p class="MsoNormal"><span lang="EN-US" style="font-size:10.5pt;font-family:"Segoe UI",sans-serif;color:black;background:white">PC chairs TAP 2024</span><span lang="EN-US" style="color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">TAP 202</span></b><b><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">4</span></b><span class="apple-converted-space"><b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span></b></span><b><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">-
Call for Papers</span></b><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">***********************************************************************************************************************</span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">The 1</span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">8</span><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">th
International Conference on Tests and Proofs (TAP 202</span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">4</span><span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">)</span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"><a href="https://urldefense.com/v3/__https://tapconference.github.io/2024/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194tvgRciI$" title="Original URL:
https://tapconference.github.io/2024/
Click to follow link."><span style="color:#0563C1">https://tapconference.github.io/2024/</span></a></span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">co-located within<span class="apple-converted-space"> </span></span><span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">FM 2024 (Formal Methods
2024)</span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span lang="EN-US" style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"><a href="https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194qqoD030$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Fwww.fm24.polimi.it%2F&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480736094%7CUnknown%7CTWFpbGZsb3d8eyJWIj"><span lang="EN-GB" style="color:#0563C1"><span lang="EN-GB">https://www.fm24.polimi.it/</span></span></a></span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black"> </span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoPlainText" style="margin:0cm;font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-size:11.0pt;font-family:"Calibri",sans-serif;color:black">***********************************************************************************************************************</span><span style="font-size:13.5pt;color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Aim and Scope</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">-------------</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">TAP 2024 is the 18th International Conference on Tests and Proofs. TAP promotes research in verification and formal methods that targets the</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">interplay of static and dynamic analysis techniques with the ultimate goal of improving software and system dependability.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Research in verification has seen an increase in heterogeneous techniques and a synergy between the traditionally distinct areas of dynamic and static analysis. There is growing awareness that dynamic
techniques such as testing and static techniques such as proving are complementary rather than mutually exclusive. Notable examples that provide evidence for the potential of a combination of static and dynamic analysis are counterexample generation based
on symbolic execution, the integration of SAT/SMT-solving in model checking, or the combination of predicate abstraction with exhaustive enumeration. The verification of systems based on machine learning spurs novel combinations of dynamic and static analyses,
e.g., property verification of surrogate models that are generated through testing.<span class="apple-converted-space"> </span></span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">TAP’s scope encompasses many aspects of verification technology, including foundational work, tool development, and empirical research. Topics of interest center around the combination of static techniques
such as proving and dynamic techniques such as testing.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Papers are solicited on, but not limited to, the following topics:</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Verification and analysis techniques combining proofs and tests,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Static analysis of programs with the aid of dynamic techniques,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Deductive techniques supporting the automated generation of test vectors and oracles,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Deductive techniques supporting (novel) definitions of coverage criteria,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Specification inference by deductive or dynamic methods,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Testing and runtime analysis of formal specifications,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Search-based techniques for proving and testing,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Testing and Verification of systems based on machine learning,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Verification of verification tools and environments,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Applications of test and proof techniques in new domains,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Combined approaches of test and proof in the context of formal certifications (Common Criteria, CENELEC, …), and</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Case studies, tool and framework descriptions, and experience reports</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Authors are encouraged (but not required) to make the relevant artifacts available to the reviewers (and whenever possible publicly). Artifacts can be provided at submission time or after notification
of acceptance and will go through a lightweight reviewing process, handing out availability badges.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Important Dates</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">---------------</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Abstract submission</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black"> (optional)</span><span style="font-family:"Calibri",sans-serif;color:black">:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">June 12,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Paper submission:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">June 14,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Paper notification:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">July 5,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Artifact submission:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">July 7,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Artifact notification:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">July 14,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Camera-ready version:
</span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">July 19,
</span><span style="font-family:"Calibri",sans-serif;color:black">2024</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Conference: </span><span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black">September 9 – 10, 2024</span><span lang="EN-US" style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Submission Instructions</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">-------------</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">TAP 2024 accepts papers of two kinds:</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">- Regular papers: full submissions describing</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black"> <span class="apple-converted-space"> </span></span><span style="font-family:"Calibri",sans-serif;color:black">- original research results,</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black"> <span class="apple-converted-space"> </span></span><span style="font-family:"Calibri",sans-serif;color:black">- tools, and</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span lang="EN-US" style="font-family:"Calibri",sans-serif;color:black"> <span class="apple-converted-space"> </span></span><span style="font-family:"Calibri",sans-serif;color:black">- case studies</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">of up to 16 pages. For tools and case studies, the tool, framework, or case study described in a tool paper should be available for public use.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> - Short papers: submissions describing preliminary findings, proofs of concepts, and exploratory studies, of up to 6 pages.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Regular and short papers must be original, unpublished, and not submitted for publication elsewhere.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Papers will undergo a thorough review process. The review process is single blind. Submissions will be judged on the basis of significance, relevance, correctness, originality, and clarity. The submissions
will be reviewed and selected for publication based on the above-mentioned</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">criteria as well as suitability to the conference’s technical program. After notification, all artifacts of accepted papers will be reviewed</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">with respect to their availability, consistency with and replicability of results in the paper, completeness, documentation, and ease of use.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">The papers will receive corresponding badges.</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">Accepted submissions will be published in Springer’s LNCS series. Papers have to adhere to Springer’s LNCS format and must be submitted in PDF</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black">format at the EasyChair submission site:</span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=tap24__;!!IBzWLUs!SSTeVUQuftv2gFB346ghrklYhcU9SN86r7ETCW9gJ5yJ9WqHhFdHV-WyNGDkIlA1mZGdMQFDUSKVVtoD_uw4M6if3s194g9FTsPz$" title="https://eur02.safelinks.protection.outlook.com/?url=https%3A%2F%2Feasychair.org%2Fmy%2Fconference%3Fconf%3Dtap24&data=05%7C02%7Cm.huisman%40utwente.nl%7C6c55660f691043ae5bb408dc43407eea%7C723246a1c3f543c5acdc43adb404ac4d%7C0%7C0%7C638459191480744169%7CUnk"><span style="color:#0563C1">https://easychair.org/my/conference?conf=tap24</span></a></span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;caret-color: rgb(0, 0, 0);word-spacing:0px">
<span style="font-family:"Calibri",sans-serif;color:black"> </span><span style="color:black"><o:p></o:p></span></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> <o:p></o:p></span></p>
<p class="MsoNormal" style="caret-color: rgb(0, 0, 0);font-variant-caps: normal;orphans: auto;text-align:start;widows: auto;-webkit-text-stroke-width: 0px;word-spacing:0px">
<span style="color:black"> <o:p></o:p></span></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>