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:20080309T020000
RDATE:20080309T020000
TZOFFSETFROM:-0800
TZOFFSETTO:-0700
TZNAME:PDT
END:DAYLIGHT
END:VTIMEZONE
BEGIN:VEVENT
CREATED;VALUE=DATE-TIME:20080817T213401Z
DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20080819T120000
DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20080819T103000
DTSTAMP;VALUE=DATE-TIME:20080817T213401Z
LAST-MODIFIED;VALUE=DATE-TIME:20080817T213401Z
UID:http://calagator.org/events/1250455632
DESCRIPTION:Title:      Adventures in Foreign Function Interfaces\n\nSpea
 ker:    Joel Stanley\n            Galois\, Inc.\n\nDate:       Tuesday\,
  August 19th\, 10.30am\n\nLocation:   Galois\, Inc.\n            421 SW 
 6th Ave. Suite 300\n            (3rd floor of the Commonwealth Building)
 \n            Portland\, Oregon\n\nAbstract:\n\n    In-process integrati
 on and data exchange between multiple language\n    runtimes is a classi
 c software engineering challenge.  This talk\n    describes our experien
 ces in building an open-source tool for\n    generating an &quot\;FFI br
 idge&quot\; between Poly/ML and OCaml\, via the common\n    C FFI provid
 ed by both language's runtimes.\n\n    The first intended use of this to
 ol is to programmatically generate\n    a bridge between Isabelle (on th
 e Poly/ML side) and Intel's Decision\n    Procedure Toolkit API (on the 
 OCaml side).\n\nAbout the Galois Tech Talks.\n\n    Galois (http://galoi
 s.com) has been holding weekly technical\n    seminars for several years
  on topics from functional programming\,\n    formal methods\, compiler 
 and language design\, to cryptography\, and\n    operating system constr
 uction\, with talks by many figures from the\n    programming language a
 nd formal methods communities.\n\n    The talks are open and free. If yo
 u're planning to attend\, dropping\n    a note to  is appreciated\, but 
 not required.\n    If you're interested in giving a talk\, we're always 
 looking for new\n    speakers. \n\nTags: galois\, functional programming
 \n\nImported from: http://calagator.org/events/1250455632
URL:http://groups.google.com/group/pdxfunc/browse_thread/thread/21d166d2c
 615874c
SUMMARY:Galois Tech Talk: Adventures in Foreign Function Interfaces
LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US
SEQUENCE:0
END:VEVENT
END:VCALENDAR