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/2020/newsitem/11952/19
 ---24-July-2020-32nd-International-Conference-on-C
 omputer-Aided-Verification-CAV-2020-Virtual
DTSTAMP:20200707T140758
SUMMARY:32nd International Conference on Computer-
 Aided Verification (CAV 2020), Virtual
DTSTART;VALUE=DATE:20200719
DTEND;VALUE=DATE:20200724
LOCATION:Virtual
DESCRIPTION:CAV 2020 is the 32nd in a series dedic
 ated to the advancement of the theory and practice
  of computer-aided formal analysis methods for har
 dware and software systems. The conference covers 
 the spectrum from theoretical results to concrete 
 applications, with an emphasis on practical verifi
 cation tools and the algorithms and techniques tha
 t are needed for their implementation. Along with 
 the main conference, CAV will feature eight worksh
 ops (in addition to the Verification Mentoring Wor
 kshop) and tutorials.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>CAV 2020 is th
 e 32nd in a series dedicated to the advancement of
  the theory and practice of computer-aided formal 
 analysis methods for hardware and software systems
 . The conference covers the spectrum from theoreti
 cal results to concrete applications, with an emph
 asis on practical verification tools and the algor
 ithms and techniques that are needed for their imp
 lementation. Along with the main conference, CAV w
 ill feature eight workshops (in addition to the Ve
 rification Mentoring Workshop) and tutorials.</p>\
 n
URL:http://i-cav.org/2020/
END:VEVENT
END:VCALENDAR