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:STANDARD
DTSTART:20111106T020000
RDATE:20111106T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20111209T194146Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20111215T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20111215T103000
DTSTAMP;VALUE=DATE-TIME:20111209T194146Z
LAST-MODIFIED;VALUE=DATE-TIME:20221115T074450Z
UID:http://calagator.org/events/1250461722
DESCRIPTION:Presented by Nate Foster.&#13\;\n&#13\;\nThe languages used t
 o program networks today lack&#13\;\nmodern features. Programming them i
 s a complicated task\, and&#13\;\noutages and infiltrations are frequent
 . We believe it is time to&#13\;\ndevelop NETWORK PROGRAMMING LANGUAGES 
 with the following&#13\;\nessential features:&#13\;\n &#13\;\n* High-lev
 el abstractions that give programmers direct control&#13\;\n  over the n
 etwork\, allowing them to specify what they want the&#13\;\n  network to
  do without worrying about how to implement it.&#13\;\n&#13\;\n* Composi
 tional constructs that facilitate modular reasoning&#13\;\n  about progr
 ams.&#13\;\n&#13\;\n* Portability\, allowing programs written for one pl
 atform to be&#13\;\n  used with different devices.&#13\;\n&#13\;\n* Rigo
 rous semantic foundations that precisely document the&#13\;\n  meaning o
 f the language and provide a basis for building formal&#13\;\n  verifica
 tion tools.&#13\;\n &#13\;\nThe Frenetic language addresses these challe
 nges in the context&#13\;\nof OpenFlow networks. It combines a streaming
  declarative query&#13\;\nsub-language and a functional reactive sub-lan
 guage that\,&#13\;\ntogether\, provide many of the features listed above
 . Our&#13\;\nimplementation handles many low-level packet-processing det
 ails&#13\;\nand keeps traffic in the &quot\;fast path&quot\; whenever po
 ssible.\n\nTags: galois\, networks\, tech talk\, programming languages\n
 \nImported from: http://calagator.org/events/1250461722
URL:http://corp.galois.com/blog/2011/12/9/tech-talk-frenetic-a-network-pr
 ogramming-language.html
SUMMARY:Galois Tech Talk:  Frenetic: A Network Programming Language
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:3
END:VEVENT
END:VCALENDAR