BEGIN:VCALENDAR
PRODID;X-RICAL-TZSOURCE=TZINFO:-//Calagator//EN
CALSCALE:GREGORIAN
X-WR-CALNAME:Calagator
METHOD:PUBLISH
VERSION:2.0
BEGIN:VTIMEZONE
TZID;X-RICAL-TZSOURCE=TZINFO:America/Los_Angeles
BEGIN:DAYLIGHT
DTSTART:20170312T020000
RDATE:20170312T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20170531T180730Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20170602T120000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20170602T110000
DTSTAMP;VALUE=DATE-TIME:20170531T180730Z
LAST-MODIFIED;VALUE=DATE-TIME:20170531T180730Z
UID:http://calagator.org/events/1250471994
DESCRIPTION:## Speaker:&#13\;\nWouter Swierstra&#13\;\n&#13\;\n## Abstrac
 t:&#13\;\nComplex protocols describing the communication or storage of b
 inary data are difficult to describe precisely. In this talk\, I want to
  explore how to define data types describing a binary data formats and g
 enerate the corresponding serialization and deserialization functions fr
 om such descriptions. By embedding these data types in a general purpose
  dependently typed programming language such as Agda\, we can verify onc
 e and for all that the serialization/deserialization functions generated
  in this style are correct by construction. To validate this approach\, 
 I will sketch how to write a verified parser for IPv4 network packets.&#
 13\;\n&#13\;\n## Bio:&#13\;\nWouter Swierstra is an assistant professor 
 at the Utrecht University in the Netherlands. After originally studying 
 Mathematics and Computer Science\, he did his PhD under supervision of T
 horsten Altenkirch at the University of Nottingham's Functional Programm
 ing Lab. He worked as a postdoc at Chalmers University of Technology\, b
 efore moving back to the Netherlands to work at Vector Fabrics\, a high-
 tech startup that used functional programming to facilitate the design o
 f embedded systems. After this brief stint in industry\, he returned to 
 academia as a postdoc in Foundations Group at the Radboud University Nij
 megen and Software Technology group at Utrecht University.\n\nTags: comp
 uter science\, programming languages\n\nImported from: http://calagator.
 org/events/1250471994
URL:http://galois.com/blog/2017/05/datatype-generic-packet-descriptions/
SUMMARY:Galois Tech Talk: Datatype Generic Packet Descriptions
LOCATION:Galois Inc: 421 Sw 6th Ave Ste 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
END:VCALENDAR