<html xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=utf-8">
<meta name="Generator" content="Microsoft Word 15 (filtered medium)">
<style><!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:#0563C1;
text-decoration:underline;}
p.MsoPlainText, li.MsoPlainText, div.MsoPlainText
{mso-style-priority:99;
mso-style-link:"Plain Text Char";
margin:0cm;
font-size:11.0pt;
font-family:"Calibri",sans-serif;
mso-ligatures:standardcontextual;
mso-fareast-language:EN-US;}
span.EmailStyle17
{mso-style-type:personal-compose;
font-family:"Calibri",sans-serif;
color:windowtext;}
span.PlainTextChar
{mso-style-name:"Plain Text Char";
mso-style-priority:99;
mso-style-link:"Plain Text";
font-family:"Calibri",sans-serif;}
.MsoChpDefault
{mso-style-type:export-only;
font-family:"Calibri",sans-serif;
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;}
--></style>
</head>
<body lang="en-NL" link="#0563C1" vlink="#954F72" style="word-wrap:break-word">
<div class="WordSection1">
<p class="MsoPlainText">TAP 202<span lang="EN-US">4</span> - Call for Papers<o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">***********************************************************************************************************************<o:p></o:p></p>
<p class="MsoPlainText">The 1<span lang="EN-US">8</span>th International Conference on Tests and Proofs (TAP 202<span lang="EN-US">4</span>)<o:p></o:p></p>
<p class="MsoPlainText"><a href="https://urldefense.com/v3/__https://tapconference.github.io/2024/__;!!IBzWLUs!SQ9PcKn2846p5PmK0DNhydobmFV2uqrRLWcPykrT5twpn7y6PHRCQS3ovwuK5ljoYF6oG7N2Whw0UJ8rykqCCIVPHhnZXPJ9DxIz$">https://tapconference.github.io/2024/</a><o:p></o:p></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">co-located within <span lang="EN-US">FM 2024 (Formal Methods 2024)<o:p></o:p></span></p>
<p class="MsoPlainText"><span lang="EN-US"><a href="https://urldefense.com/v3/__https://www.fm24.polimi.it/__;!!IBzWLUs!SQ9PcKn2846p5PmK0DNhydobmFV2uqrRLWcPykrT5twpn7y6PHRCQS3ovwuK5ljoYF6oG7N2Whw0UJ8rykqCCIVPHhnZXD-Vdbc0$">https://www.fm24.polimi.it/</a><o:p></o:p></span></p>
<p class="MsoPlainText"><o:p> </o:p></p>
<p class="MsoPlainText">***********************************************************************************************************************<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Aim and Scope<o:p></o:p></p>
<p class="MsoNormal">-------------<o:p></o:p></p>
<p class="MsoNormal">TAP 2024 is the 18th International Conference on Tests and Proofs. TAP promotes research in verification and formal methods that targets the<o:p></o:p></p>
<p class="MsoNormal">interplay of static and dynamic analysis techniques with the ultimate goal of improving software and system dependability.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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. <o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Papers are solicited on, but not limited to, the following topics:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Verification and analysis techniques combining proofs and tests,<o:p></o:p></p>
<p class="MsoNormal">- Static analysis of programs with the aid of dynamic techniques,<o:p></o:p></p>
<p class="MsoNormal">- Deductive techniques supporting the automated generation of test vectors and oracles,<o:p></o:p></p>
<p class="MsoNormal">- Deductive techniques supporting (novel) definitions of coverage criteria,<o:p></o:p></p>
<p class="MsoNormal">- Specification inference by deductive or dynamic methods,<o:p></o:p></p>
<p class="MsoNormal">- Testing and runtime analysis of formal specifications,<o:p></o:p></p>
<p class="MsoNormal">- Search-based techniques for proving and testing,<o:p></o:p></p>
<p class="MsoNormal">- Testing and Verification of systems based on machine learning,<o:p></o:p></p>
<p class="MsoNormal">- Verification of verification tools and environments,<o:p></o:p></p>
<p class="MsoNormal">- Applications of test and proof techniques in new domains,<o:p></o:p></p>
<p class="MsoNormal">- Combined approaches of test and proof in the context of formal certifications (Common Criteria, CENELEC, …), and<o:p></o:p></p>
<p class="MsoNormal">- Case studies, tool and framework descriptions, and experience reports<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Important Dates<o:p></o:p></p>
<p class="MsoNormal">---------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Abstract submission: 05/08/2024<o:p></o:p></p>
<p class="MsoNormal">Paper submission: 05/15/2024<o:p></o:p></p>
<p class="MsoNormal">Paper notification: 06/26/2024<o:p></o:p></p>
<p class="MsoNormal">Artifact submission: 07/03/2024<o:p></o:p></p>
<p class="MsoNormal">Artifact notification: 07/14/2024<o:p></o:p></p>
<p class="MsoNormal">Camera-ready version: 07/17/2024<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Conference: 09/09/2024-09/10/2024<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Submission Instructions<o:p></o:p></p>
<p class="MsoNormal">-------------<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">TAP 2024 accepts papers of two kinds:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Regular papers: full submissions describing<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US"> </span>- original research results,<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US"> </span>- tools, and<o:p></o:p></p>
<p class="MsoNormal"><span lang="EN-US"> </span>- case studies<o:p></o:p></p>
<p class="MsoNormal">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.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">- Short papers: submissions describing preliminary findings, proofs of concepts, and exploratory studies, of up to 6 pages.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">All page limits exclude the references. Appendices may be included, but they will only be read by a reviewer at their discretion.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">Regular and short papers must be original, unpublished, and not submitted for publication elsewhere.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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<o:p></o:p></p>
<p class="MsoNormal">criteria as well as suitability to the conference’s technical program. After notification, all artifacts of accepted papers will be reviewed<o:p></o:p></p>
<p class="MsoNormal">with respect to their availability, consistency with and replicability of results in the paper, completeness, documentation, and ease of use.<o:p></o:p></p>
<p class="MsoNormal">The papers will receive corresponding badges.<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal">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<o:p></o:p></p>
<p class="MsoNormal">format at the EasyChair submission site:<o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><a href="https://urldefense.com/v3/__https://easychair.org/my/conference?conf=tap24__;!!IBzWLUs!SQ9PcKn2846p5PmK0DNhydobmFV2uqrRLWcPykrT5twpn7y6PHRCQS3ovwuK5ljoYF6oG7N2Whw0UJ8rykqCCIVPHhnZXDwOuuQ9$">https://easychair.org/my/conference?conf=tap24</a><o:p></o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
<p class="MsoNormal"><o:p> </o:p></p>
</div>
</body>
</html>