<html>
<head>
<meta http-equiv="Content-Type" content="text/html; charset=us-ascii">
</head>
<body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">
<span id="docs-internal-guid-084d2f53-7fff-9c82-9ba2-30b0d1df5f5b" class="">
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<br class="">
</div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">ATVA 2021:</span><span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">
The 19th International Symposium on Automated Technology for Verification and Analysis </span></p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">October 18-22 2021, Gold Coast,
Australia</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">CALL FOR WORKSHOPS</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><a href="https://formal-analysis.com/atva/2021/workshop.html" class="">https://formal-analysis.com/atva/2021/workshop.html</a></span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">IMPORTANT
DATES</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">All deadlines are AoE (Anywhere
on Earth).</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">PROPOSALS</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Proposals are due by email
to the Workshop chairs: 28 February 2021</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Organizers will be notified
about the participation: 15 March 2021</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">CONFERENCE</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Workshops: October 18, 2021</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Main conference: October 19-22,
2021</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">WORKSHOP PROPOSAL
SUBMISSION</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">The ATVA 2021 organizing committee
invites proposals for workshops that will complement the main conference. The topics of the workshops should fall within the scope of ATVA. This encompasses all theoretical and practical aspects of automated analysis, synthesis, and verification of hardware
and software systems. We particularly encourage submissions from workshops on topics related to testing, analysis, verification, and security (TAVS) of machine learning (ML) systems.</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">ATVA 2021 Workshops will be
held on October 18, before the main conference.</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">Workshop proposals will be reviewed
by the Workshop Chairs along with the program and general chairs. Proposals must consist of the following three parts:</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">PART I: TECHNICAL INFORMATION</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">A short (about 1 page) scientific
justification of the proposed topic, its significance and relevance to ATVA, and the particular benefits of the workshop to the ATVA community, as well as a list of previous or related workshops (if relevant).</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">PART II: ORGANIZATIONAL INFORMATION</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Contact information of the
workshop organizers</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Main contact for the workshop
(i.e., a workshop chair)</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Estimate of the audience size</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Proposed format and agenda
(e.g., demo sessions, tutorials, etc.)</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Potential invited speakers
(if known)</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Procedures for selecting papers
and participants</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Plans for dissemination, if
any (e.g., special issues of journals)</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Special technical, AV, or
USB stick needs</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Links to a preliminary website
of the workshop and call for papers (if possible)</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Information if workshop has
been previously held</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">PART III: VIRTUAL WORKSHOP INFORMATION</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">A paragraph describing how the
workshop will proceed in the case that the conference meeting is virtual. This includes the form of participation (if different from the physical meeting), video conferencing requirements, time zone preferences, etc.</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">EVALUATION
CRITERIA</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">The workshop proposals will
be reviewed and evaluated on the following criteria:</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Potential to advance the state
of the art in automated verification and analysis technologies</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Ability to break new ground
and create bridges with other disciplines</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Relevance to ATVA</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Overlap of topics with other
proposed workshops</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Past successes of the workshop
and association with previous conferences</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">- Organizers' ability and experience
to lead a successful workshop</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">All accepted workshops will
be asked to provide a webpage, call for papers, and a list of invited speakers. (The workshop participants will be required to register for the workshop through the ATVA main registration page.)</span></div>
<p dir="ltr" style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
</p>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-weight: 700; font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">CONTACT</span></div>
<div style="line-height: 1.38; background-color: rgb(255, 255, 255); margin-top: 0pt; margin-bottom: 0pt;" class="">
<span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">For any questions please contact
the workshop chairs: Rayna Dimitrova (</span><span style="font-size: 11pt; font-family: Arial; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><a href="mailto:dimitrova@cispa.de" class="">dimitrova@cispa.de</a></span><span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">)
and Guy Katz (</span><span style="font-size: 11pt; font-family: Arial; color: rgb(17, 85, 204); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class=""><a href="mailto:guykatz@cs.huji.ac.il" class="">guykatz@cs.huji.ac.il</a></span><span style="font-size: 11pt; font-family: Arial; color: rgb(34, 34, 34); font-variant-ligatures: normal; font-variant-east-asian: normal; font-variant-position: normal; vertical-align: baseline; white-space: pre-wrap;" class="">).</span></div>
</span><br class="Apple-interchange-newline">
</body>
</html>