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&#13\;\n
 &#13\;\nSpeaker:    Joel Stanley&#13\;\n            Galois\, Inc.&#13\;\
 n&#13\;\nDate:       Tuesday\, August 19th\, 10.30am&#13\;\n&#13\;\nLoca
 tion:   Galois\, Inc.&#13\;\n            421 SW 6th Ave. Suite 300&#13\;
 \n            (3rd floor of the Commonwealth Building)&#13\;\n          
   Portland\, Oregon&#13\;\n&#13\;\nAbstract:&#13\;\n&#13\;\n    In-proce
 ss integration and data exchange between multiple language&#13\;\n    ru
 ntimes is a classic software engineering challenge.  This talk&#13\;\n  
   describes our experiences in building an open-source tool for&#13\;\n 
    generating an &quot\;FFI bridge&quot\; between Poly/ML and OCaml\, vi
 a the common&#13\;\n    C FFI provided by both language's runtimes.&#13\
 ;\n&#13\;\n    The first intended use of this tool is to programmaticall
 y generate&#13\;\n    a bridge between Isabelle (on the Poly/ML side) an
 d Intel's Decision&#13\;\n    Procedure Toolkit API (on the OCaml side).
 &#13\;\n&#13\;\nAbout the Galois Tech Talks.&#13\;\n&#13\;\n    Galois (
 http://galois.com) has been holding weekly technical&#13\;\n    seminars
  for several years on topics from functional programming\,&#13\;\n    fo
 rmal methods\, compiler and language design\, to cryptography\, and&#13\
 ;\n    operating system construction\, with talks by many figures from t
 he&#13\;\n    programming language and formal methods communities.&#13\;
 \n&#13\;\n    The talks are open and free. If you're planning to attend\
 , dropping&#13\;\n    a note to  is appreciated\, but not required.&#13\
 ;\n    If you're interested in giving a talk\, we're always looking for 
 new&#13\;\n    speakers. \n\nTags: galois\, functional programming\n\nIm
 ported 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