BEGIN:VCALENDAR
VERSION:2.0
PRODID:Linklings LLC
BEGIN:VTIMEZONE
TZID:America/Denver
X-LIC-LOCATION:America/Denver
BEGIN:DAYLIGHT
TZOFFSETFROM:-0700
TZOFFSETTO:-0600
TZNAME:MDT
DTSTART:19700308T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=2SU
END:DAYLIGHT
BEGIN:STANDARD
TZOFFSETFROM:-0600
TZOFFSETTO:-0700
TZNAME:MST
DTSTART:19701101T020000
RRULE:FREQ=YEARLY;BYMONTH=11;BYDAY=1SU
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DTSTAMP:20200129T163559Z
LOCATION:712
DTSTART;TZID=America/Denver:20191118T153000
DTEND;TZID=America/Denver:20191118T163000
UID:submissions.supercomputing.org_SC19_sess118_pec361@linklings.com
SUMMARY:Taming the Digital Wild West: Using Domain Specific Languages to E
 nforce Correctness Properties in Data Science, Machine Learning, and Scien
 tific Modeling
DESCRIPTION:Workshop\n\nTaming the Digital Wild West: Using Domain Specifi
 c Languages to Enforce Correctness Properties in Data Science, Machine Lea
 rning, and Scientific Modeling\n\nD.\n\nTag: Workshop Reg Pass, Correctnes
 s, Debugging, Reliability, Verification\n\nRegistration Category: Workshop
  Reg Pass, Correctness, Debugging, Reliability, Verification
URL:https://sc19.supercomputing.org/presentation/?id=pec361&sess=sess118
END:VEVENT
END:VCALENDAR