BEGIN:VCALENDAR
VERSION:2.0
PRODID:ILLC Website
X-WR-TIMEZONE:Europe/Amsterdam
BEGIN:VTIMEZONE
TZID:Europe/Amsterdam
X-LIC-LOCATION:Europe/Amsterdam
BEGIN:DAYLIGHT
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
TZNAME:CEST
DTSTART:19700329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
TZNAME:CET
DTSTART:19701025T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:/NewsandEvents/Archives/2022/newsitem/13585/31
 -July---1-August-2022-VardiFest-On-the-Not-So-Unus
 ual-Effectiveness-of-Logic-Haifa-Israel
DTSTAMP:20220428T163753
SUMMARY:VardiFest: "On the Not So Unusual Effectiv
 eness of Logic", Haifa, Israel
DTSTART;VALUE=DATE:20220731
DTEND;VALUE=DATE:20220801
LOCATION:Haifa, Israel
DESCRIPTION:The VardiFest titled "On the Not So Un
 usual Effectiveness of Logic" is a FLoC-22  worksh
 op in honor of Moshe Vardi and is intended to cele
 brate Moshe Vardi's pioneering contributions that 
 has enhanced logic's centrality in Computer scienc
 e.  The workshop will be organized ala Highlights 
 conference style: i.e., composed of short talks an
 d invited talks.  This is a call for short talks (
 expected to be ~12 minutes). The proposal should b
 e at most one page PDF in Easychair class style. W
 e will try to accommodate as many speakers as poss
 ible. Given the depth and breadth of Vardi's contr
 ibutions that span across multiple fields of compu
 ter science and society at large, there is no defi
 nite list of topics of interest. We encouraged you
  to present a proposal for a talk that would be of
  interest to Vardi be it published or not, technic
 al or non-technical, retrospective or crystal-ball
  gazing.  While we will give preference to in-pers
 on presentations, we will reserve a limited number
  of slots for remote presentations.
X-ALT-DESC;FMTTYPE=text/html:<div>\n  <p>The Vardi
 Fest titled &quot;On the Not So Unusual Effectiven
 ess of Logic&quot; is a FLoC-22&nbsp; workshop in 
 honor of Moshe Vardi and is intended to celebrate 
 Moshe Vardi's pioneering contributions that has en
 hanced logic's centrality in Computer science.</p>
 \n  <p>The workshop will be organized ala Highligh
 ts conference style: i.e., composed of short talks
  and invited talks.</p>\n</div><div>\n  <p>This is
  a call for short talks (expected to be ~12 minute
 s). The proposal should be at most one page PDF in
  <a href="https://easychair.org/publications/for_a
 uthors" target="_blank">Easychair class</a> style.
  We will try to accommodate as many speakers as po
 ssible. Given the depth and breadth of Vardi's con
 tributions that span across multiple fields of com
 puter science and society at large, there is no de
 finite list of topics of interest. We encouraged y
 ou to present a proposal for a talk that would be 
 of interest to Vardi be it published or not, techn
 ical or non-technical, retrospective or crystal-ba
 ll gazing.</p>\n  <p>While we will give preference
  to in-person presentations, we will reserve a lim
 ited number of slots for remote presentations.</p>
 \n</div>
URL:https://vardifest.github.io/
END:VEVENT
END:VCALENDAR