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:20090308T020000 RDATE:20090308T020000 RDATE:20100314T020000 RDATE:20110313T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT BEGIN:STANDARD DTSTART:20091101T020000 RDATE:20091101T020000 RDATE:20101107T020000 TZOFFSETFROM:-0700 TZOFFSETTO:-0800 TZNAME:PST END:STANDARD END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20090930T044415Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091006T113000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091006T103000 DTSTAMP;VALUE=DATE-TIME:20090930T044415Z LAST-MODIFIED;VALUE=DATE-TIME:20091006T013224Z UID:http://calagator.org/events/1250457759 DESCRIPTION:The next talk in the Galois Tech Seminar series: \;\n \ ;\n* Date: Tuesday\, October 6th\, 2009 \;\n* Title: Roll Your Own Te st Bed for Embedded Real-Time Protocols: A Haskell Experience \;\n* S peaker: Lee Pike \;\n* Time: 10:30am - 11:30am \;\n* Location: Gal ois\, Inc. 421 SW 6th Ave. Suite 300\; Portland\, OR 97204 \;\n \; \nFor details (including an abstract and speaker bio)\, please see our&# 13\;\nblog post: http://www.galois.com/blog/2009/09/29/pike-haskell0/ 3\;\n \;\nAbstract: We present by example a new application domain fo r functional languages: emulators for embedded real-time protocols. As a case-study\, we implement a simple emulator for the Biphase Mark Protoc ol\, a physical-layer network protocol in Haskell. The surprising result is that a pure functional language with no built-in notion of time is e xtremely well-suited for constructing such emulators. Furthermore\, we u se Haskell’s property-checker QuickCheck to automatically generate real- time parameters for simulation. We also describe a novel use of QuickChe ck as a probability calculator for reliability analysis. \;\n \;\n Bio: Lee Pike is a member of the technical staff at Galois. Previously\, he was a research scientist with the NASA Langley Formal Methods Group\ , primarily involved in the SPIDER project. His research interests inclu de applying formal methods to safety-critical and security-critical appl ications\, with a focus on industrial-scale endeavors. \;\n \;\nAn RSVP is not required\; but feel free to drop a line to \;\nlevent.er kok@galois.com if you've any questions or comments. \;\n \;\nLeven t Erkok\n\nTags: galois\, haskell\, tech seminar\, quickcheck\, real-tim e\, simulation\n\nImported from: http://calagator.org/events/1250457759 URL:http://www.galois.com/blog/2009/09/29/pike-haskell0/ SUMMARY:Galois Tech Talk: Roll Your Own Test Bed for Embedded Real-Time P rotocols: A Haskell Experience LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:3 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20110326T183809Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110416T160000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110416T140000 DTSTAMP;VALUE=DATE-TIME:20110326T183809Z LAST-MODIFIED;VALUE=DATE-TIME:20110326T184216Z UID:http://calagator.org/events/1250460395 DESCRIPTION:If you were at WhereCamp 2008 you might have had the opportun ity to play Pacmanhattan. The game was epic and played by cell phones on the park blocks! \;\n \;\nCome play a new version of the game us ing real-time location and GPS through the Geoloqi app! We'll be startin g at 2Pm at the playground in the North Park blocks. \;\n \;\nTo play\, you'll need Geoloqi for iPhone: http://itunes.apple.com/us/app/ge oloqi/id415603875?mt=8 \;\nor Android https://market.android.com/deta ils?id=com.geoloqi.android1 \;\n \;\nWe'll turn on the PacMap laye r before the event\, so all you need to do is bring some comfortable run ning/walking shoes and a fully charged phone! \;\n \;\nSee you th ere! \n\nTags: real-time\, location\, game\, pacman\, plancast:plan=4jhe \n\nImported from: http://calagator.org/events/1250460395 URL:http://geoloqi.com SUMMARY:PacMap at the Park Blocks LOCATION:North Park Blocks Playground: NW Davis St & NW Park Ave\, Portla nd OR 97209 SEQUENCE:2 END:VEVENT END:VCALENDAR