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:20100314T020000
RDATE:20100314T020000
RDATE:20110313T020000
RDATE:20120311T020000
RDATE:20130310T020000
RDATE:20140309T020000
RDATE:20150308T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
BEGIN:STANDARD
DTSTART:20101107T020000
RDATE:20101107T020000
RDATE:20111106T020000
RDATE:20121104T020000
RDATE:20131103T020000
RDATE:20141102T020000
TZOFFSETFROM:-0700
TZOFFSETTO:-0800
TZNAME:PST
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20100512T154907Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100518T113000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100518T103000
DTSTAMP;VALUE=DATE-TIME:20100512T154907Z
LAST-MODIFIED;VALUE=DATE-TIME:20100512T154907Z
UID:http://calagator.org/events/1250458682
DESCRIPTION:presenter: Mark Jones&#13\;\n&#13\;\nabstract:&#13\;\nDevelop
 ers of systems software must often deal with low-level and performance-c
 ritical details that are hard to address in high-level programming langu
 ages. As a result\, much of the systems software that is produced today 
 is written in languages like C and assembly code\, without the benefit o
 f more expressive type systems or other features from modern functional 
 programming languages that could help to increase programmer productivit
 y or software quality. In this talk\, we present an update on the status
  of Habit\, a dialect of Haskell that we are designing\, as part of the 
 HASP project at PSU\, to meet the needs of high assurance systems progra
 mming. Among other features\, Habit provides: mechanisms for fine contro
 l over representation of bit-level and memory-based data structures\; st
 rong support for both functional and imperative programming\; and a flex
 ible type system that allows precise characterization of size and bound 
 information via type level naturals\, as well as termination properties 
 resulting from the use of unpointed types.\n\nTags: functional programmi
 ng\, galois\, haskell\, systems programming\n\nImported from: http://cal
 agator.org/events/1250458682
URL:http://www.galois.com/blog/2010/05/12/tech-talk-developing-good-habit
 s-for-bare-metal-programming/
SUMMARY:Galois Tech Talk: Developing Good Habits for Bare-Metal Programmi
 ng
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:1
END:VEVENT
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20150424T005154Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20150515T200000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20150515T180000
DTSTAMP;VALUE=DATE-TIME:20150424T005154Z
LAST-MODIFIED;VALUE=DATE-TIME:20150424T005154Z
UID:http://calagator.org/events/1250468320
DESCRIPTION:Come celebrate the launch of Rust 1.0!&#13\;\n&#13\;\nWhether
  you are a new Rustacean\, or have been around long enough to fondly rem
 ember the ~ sigil\, come on out and celebrate!&#13\;\n&#13\;\nWe will be
  having 5 minute lightning talks\, so feel free to come with one prepare
 d!  The talks will explain the power of Rust\, how to work in a rustic s
 tyle\, point out common libraries\, and current projects and more.&#13\;
 \n&#13\;\nThanks to Mozilla for the food and refreshments!\n\nTags: rust
 \, systems programming\, epdx: group=pdxrust\n\nImported from: http://ca
 lagator.org/events/1250468320
URL:http://www.meetup.com/PDXRust/events/222057357/
SUMMARY:Rust 1.0 Launch!
LOCATION:Mozilla Portland Office: Brewery Block 2\n                  1120
  NW Couch St\, Suite 320\, Portland Oregon 97209 US
SEQUENCE:2
END:VEVENT
END:VCALENDAR