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/2021/newsitem/13150/10
 ---12-December-2021-Sixth-Indian-SAT-SMT-School-Vi
 rtual
DTSTAMP:20211111T170931
SUMMARY:Sixth Indian SAT+SMT School, Virtual
DTSTART;VALUE=DATE:20211210
DTEND;VALUE=DATE:20211212
LOCATION:Virtual
DESCRIPTION:The theme of this year's school is the
  advancement of SAT and SMT solvers and their nove
 l use in mathematical proofs and trustworthy AI. R
 egistration of academics and students is free. We 
 look forward to participation of all those serious
 ly interested in SAT and SMT solving, both from th
 eoretical and practical perspectives.
X-ALT-DESC;FMTTYPE=text/html:\n  <p>The theme of t
 his year's school is the advancement of SAT and SM
 T solvers and their novel use in mathematical proo
 fs and trustworthy AI. Registration of academics a
 nd students is free. We look forward to participat
 ion of all those seriously interested in SAT and S
 MT solving, both from theoretical and practical pe
 rspectives.</p>\n
URL:http://sat-smt.in
CONTACT:indian.satsmt.school at gmail.com
END:VEVENT
END:VCALENDAR