<html><head><meta http-equiv="Content-Type" content="text/html; charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class="">Dear friends,<div class=""><div class="">The VardiFest titled "On the Not So Unusual Effectiveness of Logic” <<a href="https://vardifest.github.io/" class="">https://vardifest.github.io/</a>> is a workshop in honor of Moshe Vardi and is intended to celebrate Moshe Vardi's pioneering contributions that has enhanced logic's centrality in Computer science.</div><div class=""><br class=""></div><div class="">The workshop will be organized ala Highlights conference style: i.e., composed of short talks and invited talks.</div><div class=""><br class=""></div><div class="">This is a call for short talks (expected to be ~12 minutes). The proposal should be at most one page PDF in Easychair class style (<a href="https://easychair.org/publications/for_authors" class="">https://easychair.org/publications/for_authors</a> ). We will try to accommodate as many speakers as possible. Given the depth and breadth of Vardi's contributions that span across multiple fields of computer science and society at large, there is no definite list of topics of interest. </div><div class=""><br class=""></div><div class=""><br class=""></div><div class="">Deadline for Submission: May 15, 2022 AoE</div><div class=""><br class=""></div><div class="">Notification of Acceptance: May 19, 2022 AoE</div><div class=""><br class=""></div><div class="">Workshop Dates: July 31, Aug 1, 2022</div><div class=""><br class=""></div><div class="">Submission Site: <a href="https://easychair.org/conferences/?conf=vardifest22" class="">https://easychair.org/conferences/?conf=vardifest22</a>.</div><div class=""><br class=""></div><div class="">More information about workshop: <a href="https://vardifest.github.io/" class="">https://vardifest.github.io/</a></div><div class=""><br class=""></div><div class="">Organizers</div><div class=""><br class=""></div><div class="">Giuseppe De Giacomo (Sapienza Univ. Rome,Italy)</div><div class="">Kuldeep S. Meel (National University of Singapore)</div></div>Kristin Yvonne Rozier (Iowa State University, Ames, Iowa)<div class=""><br class=""></div><div class="">----------<br class=""><div class=""><div dir="auto" style="caret-color: rgb(0, 0, 0); color: rgb(0, 0, 0); letter-spacing: normal; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; word-spacing: 0px; -webkit-text-stroke-width: 0px; text-decoration: none; word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div>De Giacomo, Giuseppe<br class="">Dipartimento di Ingegneria Informatica Automatica e Gestionale<br class="">Sapienza Universita' di Roma<br class="">Via Ariosto 25<br class="">00185 Roma, Italy<br class="">tel: +39 06 77274010<br class=""><a href="mailto:degiacomo@diag.uniroma1.it" class="">degiacomo@diag.uniroma1.it</a><br class="">http://www.diag.uniroma1.it/degiacomo<br class="">----------<br class=""><br class=""></div></div>
</div>
<br class=""></div></body></html>