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 RDATE:20120311T020000 RDATE:20130310T020000 RDATE:20140309T020000 RDATE:20150308T020000 RDATE:20160313T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT BEGIN:STANDARD DTSTART:20091101T020000 RDATE:20091101T020000 RDATE:20101107T020000 RDATE:20111106T020000 RDATE:20121104T020000 RDATE:20131103T020000 RDATE:20141102T020000 RDATE:20151101T020000 TZOFFSETFROM:-0700 TZOFFSETTO:-0800 TZNAME:PST END:STANDARD END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20090904T083102Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090923T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20090923T183000 DTSTAMP;VALUE=DATE-TIME:20090904T083102Z LAST-MODIFIED;VALUE=DATE-TIME:20090904T083102Z UID:http://calagator.org/events/1250457647 DESCRIPTION:Monthly meeting of the Portland area open source geospatial u ser group. \;\n \;\nWe meet the 4th Wednesday of every month fro m 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP\, all ar e welcome- our group ranges from the geo-curious to the überhackers. [P lease arrive no more than 10 minutes early\, as the developers at OpenSo urcery are working up until the meeting time.] \;\n \;\n \;\nOp enSourcery \;\n1636 NW Lovejoy St. \;\nPortland\, OR 97209 \;\n [Or\, if you prefer: 45.529986\, -122.688206]\n\nTags: open source\, os\ , geo\, geospatial\, gis\n\nImported from: http://calagator.org/events/1 250457647 URL:http://groups.google.com/group/pdx-osgis SUMMARY:Portland Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:0 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20091006T205231Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091028T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20091028T183000 DTSTAMP;VALUE=DATE-TIME:20091006T205231Z LAST-MODIFIED;VALUE=DATE-TIME:20091006T205231Z UID:http://calagator.org/events/1250457837 DESCRIPTION:We meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP\, all are welcome- our gro up ranges from the geo-curious to the überhackers. [Please arrive no mor e than 10 minutes early\, as the developers at OpenSourcery are working up until the meeting time.] \;\n \;\nOpenSourcery \;\n1636 NW L ovejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if you prefer: 45.529 986\, -122.688206] \;\n \;\nOctober meeting agenda: GIS in Action 2010 coordination and more TBA\n\nTags: open source\, os\, geo\, geospat ial\, gis\n\nImported from: http://calagator.org/events/1250457837 URL:http://groups.google.com/group/pdx-osgis SUMMARY:Portland Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100222T225921Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100224T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100224T183000 DTSTAMP;VALUE=DATE-TIME:20100222T225921Z LAST-MODIFIED;VALUE=DATE-TIME:20100222T225921Z UID:http://calagator.org/events/1250458342 DESCRIPTION: \;\n \;\nWe meet the 4th Wednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland. No need to RSVP\, all are welcome- our group ranges from the geo-curious to the überhackers. [Plea se arrive no more than 10 minutes early\, as the developers at OpenSourc ery are working up until the meeting time.] \;\n \;\nOpenSourcery& #13\;\n1636 NW Lovejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if yo u prefer: 45.529986\, -122.688206] \;\n \;\nMeeting agenda: \;\ n- upcoming GIS conference planning update \;\n- finally ESRI geodata base support with OGR\, if you have an ESRI license :( \;\n- CitizenR eports\, who's the new kid on the block. someone demo this open source o r not! \;\n- What's the word on the street folks\, let's hear some ge o gossip from around town. \;\n- Tim can pull out an app to do some s how and tell with. \;\n\n\nTags: geo\, geospatial\, gis\, open source \, os\n\nImported from: http://calagator.org/events/1250458342 URL: http://groups.google.com/group/pdx-osgis SUMMARY:PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100323T215755Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100324T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100324T183000 DTSTAMP;VALUE=DATE-TIME:20100323T215755Z LAST-MODIFIED;VALUE=DATE-TIME:20100323T215755Z UID:http://calagator.org/events/1250458471 DESCRIPTION:Meeting agenda: \;\n- upcoming GIS In Action conference. map smackdown volunteers needed. (20 mins) \;\n- upcoming OS Bridge c onference\, free pass\, talk submissions (15 mins) \;\n- Tim can demo the new MarineMap tool (Google Earth based web application). (20 mins)& #13\;\n- short 5 minute demos of something you've been working on or lea rned about. Could be like a forum if you're seeking information. \;\ n \;\nWe meet the 4th Wednesday of every month from 6:30-8:00 PM at O penSourcery in NW Portland. No need to RSVP\, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early\, as the developers at OpenSourcery are working up until the meeting time.] \;\n \;\nOpenSourcery \;\n1636 NW Lov ejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if you prefer: 45.52998 6\, -122.688206] \;\n\n\nTags: geo\, geospatial\, gis\, open source\, os\n\nImported from: http://calagator.org/events/1250458471 URL: http://groups.google.com/group/pdx-osgis SUMMARY:PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100409T054031Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100421T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100421T183000 DTSTAMP;VALUE=DATE-TIME:20100409T054031Z LAST-MODIFIED;VALUE=DATE-TIME:20100417T190602Z UID:http://calagator.org/events/1250458535 DESCRIPTION:Meeting agenda: \;\n- TBD \;\n \;\nWe meet the 4th W ednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland . No need to RSVP\, all are welcome- our group ranges from the geo-curio us to the überhackers. [Please arrive no more than 10 minutes early\, as the developers at OpenSourcery are working up until the meeting time.]& #13\;\n \;\nOpenSourcery \;\n1636 NW Lovejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if you prefer: 45.529986\, -122.688206] \;\n\n \nTags: geo\, geospatial\, gis\, open source\, os\n\nImported from: http ://calagator.org/events/1250458535 URL: http://groups.google.com/group/pdx-osgis SUMMARY:PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:3 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100409T054056Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100526T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100526T183000 DTSTAMP;VALUE=DATE-TIME:20100409T054056Z LAST-MODIFIED;VALUE=DATE-TIME:20100427T184034Z UID:http://calagator.org/events/1250458536 DESCRIPTION:Meeting agenda: \;\n- Meeting is canceled due to following so closely on the heels of our GIS unconference at Portland State Uni.& #13\;\n \;\nWe meet the 4th Wednesday of every month from 6:30-8:00 P M at OpenSourcery in NW Portland. No need to RSVP\, all are welcome- our group ranges from the geo-curious to the überhackers. [Please arrive no more than 10 minutes early\, as the developers at OpenSourcery are work ing up until the meeting time.] \;\n \;\nOpenSourcery \;\n1636 NW Lovejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if you prefer: 45 .529986\, -122.688206] \;\n\n\nTags: geo\, geospatial\, gis\, open so urce\, os\n\nImported from: http://calagator.org/events/1250458536 URL: http://groups.google.com/group/pdx-osgis SUMMARY:(Canceled) PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:2 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20100409T054114Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100623T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20100623T183000 DTSTAMP;VALUE=DATE-TIME:20100409T054114Z LAST-MODIFIED;VALUE=DATE-TIME:20100409T054114Z UID:http://calagator.org/events/1250458537 DESCRIPTION:Meeting agenda: \;\n- TBD \;\n \;\nWe meet the 4th W ednesday of every month from 6:30-8:00 PM at OpenSourcery in NW Portland . No need to RSVP\, all are welcome- our group ranges from the geo-curio us to the überhackers. [Please arrive no more than 10 minutes early\, as the developers at OpenSourcery are working up until the meeting time.]& #13\;\n \;\nOpenSourcery \;\n1636 NW Lovejoy St. \;\nPortland\, OR 97209 \;\n[Or\, if you prefer: 45.529986\, -122.688206] \;\n\n \nTags: geo\, geospatial\, gis\, open source\, os\n\nImported from: http ://calagator.org/events/1250458537 URL: http://groups.google.com/group/pdx-osgis SUMMARY:PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20110112T212923Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110126T200000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110126T183000 DTSTAMP;VALUE=DATE-TIME:20110112T212923Z LAST-MODIFIED;VALUE=DATE-TIME:20110112T212923Z UID:http://calagator.org/events/1250459635 DESCRIPTION:Meeting agenda: \;\n- TBD \;\n \;\nHey everyone\, Th e January gathering of the open source GIS group is on for 6:30-8pm at O pen Sourcery on Jan. 26. Hope you all had a great holiday. The meeting is byob but we usually wander to a nearby watering hole afterwards. \;\n \;\n- MapBox - creating custom maps in the cloud. Sara is bring ing someone involved with its development to show some things off. I've been interested in their mb-tiles standard and tools for supporting off line maps for a while. \;\n \;\n- GeoNode - version 1.0 of this pl atform is out from the OpenGeo folks and it's starting to pick up steam. An intriguing blend of Geoserver\, GeoNetwork\, GeoExt and OpenLayers with a thick layer of Django to hold it all together. A legitimate open -source SDI solution is evolving... \;\n \;\n- Becoming an officia l OSGEO chapter\, the quest continues \;\n- FOSS4G 2011 in Denver. Se p 12-16. You're going right? Call for presentations opens in Feb! \; \n \;\nOpenSourcery \;\n1636 NW Lovejoy St. \;\nPortland\, OR 9 7209 \;\n[Or\, if you prefer: 45.529986\, -122.688206] \;\n\n\nTag s: geo\, geospatial\, gis\, open source\, os\n\nImported from: http://ca lagator.org/events/1250459635 URL: http://groups.google.com/group/pdx-osgis SUMMARY:PDX Open Source Geospatial User Group LOCATION:OpenSourcery: 1636 NW Lovejoy Street\, Portland Oregon 97209 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20110126T230643Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110201T113000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20110201T103000 DTSTAMP;VALUE=DATE-TIME:20110126T230643Z LAST-MODIFIED;VALUE=DATE-TIME:20110126T230643Z UID:http://calagator.org/events/1250459683 DESCRIPTION:Presented by Simon Winwood. \;\n \;\nIn 2009 the NICTA L4.verified project completed the machine-checked correctness proof of t he seL4 microkernel. The natural next step is then to use this verified kernel to construct verified systems. \;\n \;\nIn this talk I give an overview of the ongoing work into systems verification in the Trustw orthy Embedded Systems project. In particular\, I will focus on the use of access control results to reason about the properties of systems in t he presence of large untrusted components\, such as a Linux kernel. \ ;\n\n\nTags: galois\, tech talk\, l4\, os\n\nImported from: http://calag ator.org/events/1250459683 URL:http://corp.galois.com/blog/2011/1/26/tech-talk-verifying-sel4-based- systems.html SUMMARY:Galois Tech talk: Verifying seL4-based Systems LOCATION:Galois\, Inc: 421 SW 6th Ave. Suite 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20160502T180943Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20160504T120000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20160504T110000 DTSTAMP;VALUE=DATE-TIME:20160502T180943Z LAST-MODIFIED;VALUE=DATE-TIME:20160502T180943Z UID:http://calagator.org/events/1250470203 DESCRIPTION:abstract: \;\n------------- \;\nExisting modeled and ve rified operating systems (OS’s) typically run on uniprocessor platforms and run with interrupts mostly disabled. This makes formal reasoning mor e tractable: execution is mostly sequential. The eChronos OS is a real-t ime OS used in tightly constrained devices\, running on (uniprocessor) e mbedded micro-controllers. It is used in the DARPA-funded HACMS program\ , where it runs the flight control software of a high-assurance quadcopt er. To provide low latency\, the eChronos OS runs with interrupts enable d and provides a preemptive scheduler. In terms of verification\, this m eans that concurrency reasoning is required\, which significantly increa ses the complexity: application and OS instructions may be interleaved w ith interrupt handler instructions. \;\n \;\nIn our work we explic itly model the effect of interrupts and their handling by the hardware a nd OS. We provide a general formal model of the interleaving between OS code\, application code and interrupt handlers. We then instantiate this model to formalise the scheduling behavior of the eChronos OS\, and pro ve the main scheduler property: the running task is always the highest-p riority runnable task. \;\n \;\nbio: \;\n----- \;\nJune Andr onick is a Senior Researcher at Data61|CSIRO (formerly NICTA). Her resea rch focuses on increasing the reliability of critical software systems\, by mathematically proving that the code behaves as expected and satisfi es security and safety requirements. She contributed to the seL4 correct ness proof and now focuses on concurrency reasoning for OS code. She lea ds the concurrency software verification research in Data61\, and is dep uty leader of the Trustworthy Systems group. She was recognised in 2011 by MIT’s Technology Review as one of the world’s top young innovators (T R35). She holds a PhD in Computer Science from the University of Paris-S ud\, France.\n\nTags: Galois tech talk\, model checking\, os\, concurren cy\n\nImported from: http://calagator.org/events/1250470203 URL:https://galois.com/blog/2016/05/tech-talk-interrupts-in-os-code-lets- reason-about-them-yes-this-means-concurrency/ SUMMARY:Galois tech talk: Interrupts in OS code: let’s reason about them. Yes\, this means concurrency. LOCATION:Galois Inc: 421 Sw 6th Ave Ste 300\, Portland OR 97204 US SEQUENCE:1 END:VEVENT END:VCALENDAR