<html>
<head>
<meta http-equiv="content-type" content="text/html; charset=UTF-8">
</head>
<body>
<font size="4">============================================================<br>
VardiFest22: On the Not So Unusual Effectiveness of Logic<br>
(a collection of ~12-minute talks)<br>
<br>
Technion, Haifa, Israel (co-located with FLoC)<br>
<br>
July 31-August 1, 2022<br>
<a class="moz-txt-link-freetext"
href="https://vardifest.github.io/" moz-do-not-send="true">https://vardifest.github.io/</a><br>
============================================================<br>
<br>
VardiFest is a FLoC-22 workshop in honor of Moshe Y. Vardi and is
intended to celebrate Vardi's pioneering contributions that have
enhanced logic's centrality in computer science.<br>
<br>
The workshop will be organized in a Highlights conference style:
i.e., composed of short talks and invited talks.<br>
<br>
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
class="moz-txt-link-freetext"
href="https://easychair.org/publications/for_authors"
moz-do-not-send="true">https://easychair.org/publications/for_authors</a>).<br>
<br>
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. We encourage you
to present a proposal for a talk that would be of interest to
Vardi be it published or not, technical or non-technical,
retrospective or crystal-ball gazing.<br>
<br>
While we may allow some remote presentations, strong preference
will be given to in-person presentations.<br>
<br>
====================<br>
DATES:<br>
====================<br>
Deadline for Submission: May 15, 2022 AoE<br>
<br>
Notification of Acceptance: May 19, 2022 AoE<br>
<br>
Submission Site: <a class="moz-txt-link-freetext"
href="https://easychair.org/conferences/?conf=vardifest22"
moz-do-not-send="true">https://easychair.org/conferences/?conf=vardifest22</a><br>
<br>
====================<br>
ORGANIZERS:<br>
====================<br>
Giuseppe De Giacomo (Sapienza Univ. Rome, Italy)<br>
Kuldeep S. Meel (National University of Singapore)<br>
Kristin Yvonne Rozier (Iowa State University, Ames, Iowa)<br>
<br>
<br>
View this Call in EasyChair: <a class="moz-txt-link-freetext"
href="https://easychair.org/cfp/vardifest22"
moz-do-not-send="true">https://easychair.org/cfp/vardifest22</a></font><br>
<pre class="moz-signature" cols="72">--
____________________________________________________________
__
/\ \ \_____
/ \ ###[==_____>
/ \ /_/ __
/ __ \ \ \_____
| ( ) | ###[==_____>
/| /\/\ |\ /_/
/ | | | | \
/ |=|==|=| \ Kristin Yvonne Rozier, Ph.D.
/ | | | | \ Black&Veatch Associate Prof, Iowa State Univ
/ USA | ~||~ |NASA \ Departments of Aerospace Engineering,
|______| ~~ |______| Computer Science, Mathematics, and
(__||__) Electrical and Computer Engineering
/_\ /_\ Virtual Reality Applications Center
!!! !!! laboratory.temporallogic.org
</pre>
</body>
</html>