BEGIN:VCALENDAR
CALSCALE:GREGORIAN
PRODID:-//Apple Inc.//iOS 6.1.3//EN
VERSION:2.0
BEGIN:VTIMEZONE
TZID:Europe/Berlin
BEGIN:DAYLIGHT
DTSTART:19810329T020000
RRULE:FREQ=YEARLY;BYMONTH=3;BYDAY=-1SU
TZNAME:CEST
TZOFFSETFROM:+0100
TZOFFSETTO:+0200
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:19961027T030000
RRULE:FREQ=YEARLY;BYMONTH=10;BYDAY=-1SU
TZNAME:CET
TZOFFSETFROM:+0200
TZOFFSETTO:+0100
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
DESCRIPTION:Most working engineers view machine-checked mathematical proofs as an acade
 mic curiosity\, if they have ever heard of the concept at all.  In contrast
 \, activities like testing\, debugging\, and code review are accepted as es
 sential.  They are woven into the lives of nearly all developers.  In this 
 talk\, I will explain how I see machine-checked proofs enabling new everyda
 y activities for developers of computer software and hardware.  These activ
 ities have the potential to lower development effort dramatically\, at the 
 same time as they increase our assurance that systems behave correctly and 
 securely.  I will give a cosmological overview of this field\, answering th
 e FAQs that seem to stand in the way of practicality\; and I will illustrat
 e the principles with examples from projects that you can clone from GitHub
  today\, covering the computing stack from digital hardware design to crypt
 ographic software and applications.
DTEND;TZID=Europe/Berlin:20171229T134500
DTSTAMP:20171220T105656Z
DTSTART;TZID=Europe/Berlin:20171229T124500
LAST-MODIFIED:20171220T105651Z
LOCATION:Saal Dijkstra
SEQUENCE:0
SUMMARY:Coming Soon: Machine-Checked Mathematical Proofs in Everyday Software and H
 ardware Development - Adam Chlipala
TRANSP:OPAQUE
UID:bdccda64-ee80-43fb-8e56-931199444188@frab.cccv.de
URL;VALUE=URI:https://fahrplan.events.ccc.de/congress/2017/Fahrplan/events/9105.html
BEGIN:VALARM
ACTION:DISPLAY
DESCRIPTION:Reminder
TRIGGER:-PT1H
UID:7109476B-0F80-4EAE-933A-14ED580D0FDD
X-APPLE-DEFAULT-ALARM:TRUE
X-WR-ALARMUID:7109476B-0F80-4EAE-933A-14ED580D0FDD
END:VALARM
END:VEVENT
END:VCALENDAR
