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:20191118T090500
DTEND;TZID=America/Denver:20191118T100000
UID:submissions.supercomputing.org_SC19_sess118_pec356@linklings.com
SUMMARY:Reasoning about Floating Point in the Real World
DESCRIPTION:Workshop\n\nReasoning about Floating Point in the Real World\n
 \nAiken\n\nThe formal verification of floating point code as it exists in 
 widely-used, highly-optimized libraries is very challenging, in fact so ch
 allenging that formal proofs, where they exist, are done manually.  This t
 alk will discuss a combination of recent results that allow some important
  codes to be verified fully automatically, as well as additional challenge
 s that have yet to be overcome.\n\nTag: Workshop Reg Pass, Correctness, De
 bugging, Reliability, Verification\n\nRegistration Category: Workshop Reg 
 Pass, Correctness, Debugging, Reliability, Verification
URL:https://sc19.supercomputing.org/presentation/?id=pec356&sess=sess118
END:VEVENT
END:VCALENDAR