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:20120311T020000 RDATE:20120311T020000 RDATE:20130310T020000 RDATE:20140309T020000 RDATE:20150308T020000 RDATE:20160313T020000 RDATE:20170312T020000 RDATE:20180311T020000 TZOFFSETFROM:-0800 TZOFFSETTO:-0700 TZNAME:PDT END:DAYLIGHT BEGIN:STANDARD DTSTART:20121104T020000 RDATE:20121104T020000 RDATE:20131103T020000 RDATE:20141102T020000 RDATE:20151101T020000 RDATE:20161106T020000 RDATE:20171105T020000 TZOFFSETFROM:-0700 TZOFFSETTO:-0800 TZNAME:PST END:STANDARD END:VTIMEZONE BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20120315T220456Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20120327T190000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20120327T180000 DTSTAMP;VALUE=DATE-TIME:20120315T220456Z LAST-MODIFIED;VALUE=DATE-TIME:20120315T220456Z UID:http://calagator.org/events/1250462148 DESCRIPTION:Portland's Cat Advancement Team (CAT) presents this meeting f or our beloved command 'cat' \;\n \;\nYou use cat every day\, but did you know there's more to it than simply displaying a file? \;\n&# 13\;\nJen Adams will present on the following topics: \;\n \;\ncat history - considered harmful? \;\nconcatenation of files and stdin & #13\;\npipes and redirects \;\ncommand line options - who knew? \; \nGNU vs BSD\n\nTags: cat\, considered harmful\, sepdx\, luckylab\, plan cast:plan=ag4e\n\nImported from: http://calagator.org/events/1250462148 SUMMARY:cat User's Group LOCATION:Lucky Labrador Brew Pub: 915 SE Hawthorne Boulevard\, Portland O regon 97214 US SEQUENCE:8 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181730Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171129T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171129T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181730Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181730Z UID:http://calagator.org/events/1250472956 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472956 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181217Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171213T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20171213T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181217Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181217Z UID:http://calagator.org/events/1250472953 DESCRIPTION:We'll discuss Chapter 3 and possibly Chapter 4 of Logic and P roof (https://leanprover.github.io/logic_and_proof/). Please try to at l east read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. A t the meeting anyone will be able to present and contribute to the discu ssion. \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group e xploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any functional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Agda\, as well as using functional techniques in not explicitly functional languag es. \;\n \;\nWe have two kinds of meetings: theory and practice\, that each meet twice a month. \;\n \;\nPlease sign up for the mail ing list for more announcements\, discussions\, meeting notes\, etc.: 3\;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, functional programming\, se\, sepdx\n\nImported from: http://calagator.org/events/ 1250472953 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ev ents/dhqvbpywqbrb/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:2 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181813Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180110T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180110T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181813Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181813Z UID:http://calagator.org/events/1250472957 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472957 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181845Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180124T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180124T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181845Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181845Z UID:http://calagator.org/events/1250472958 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472958 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181907Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180214T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180214T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181907Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181907Z UID:http://calagator.org/events/1250472959 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472959 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T181935Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180314T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180314T183000 DTSTAMP;VALUE=DATE-TIME:20171212T181935Z LAST-MODIFIED;VALUE=DATE-TIME:20171212T181935Z UID:http://calagator.org/events/1250472960 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472960 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:1 END:VEVENT BEGIN:VEVENT CREATED;VALUE=DATE-TIME:20171212T182022Z DTEND;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180411T203000 DTSTART;TZID=America/Los_Angeles;VALUE=DATE-TIME:20180411T183000 DTSTAMP;VALUE=DATE-TIME:20171212T182022Z LAST-MODIFIED;VALUE=DATE-TIME:20180905T052443Z UID:http://calagator.org/events/1250472961 DESCRIPTION:Info at https://www.meetup.com/Portland-Functional-Programmin g-Study-Group/ \;\n \;\n*** \;\n \;\nPDXFunc is a study/user group exploring functional programming in Portland\, Oregon. The group welcomes programmers with any level of experience or interest in any fun ctional language\, including Haskell\, Lisp\, OCaml\, Scala\, Idris\, Ag da\, as well as using functional techniques in not explicitly functional languages. \;\n \;\nWe have two kinds of meetings: theory and pra ctice\, that each meet twice a month. \;\n \;\nPlease sign up for the mailing list for more announcements\, discussions\, meeting notes\, etc.: \;\n \;\nhttp://groups.google.com/pdxfunc\n\nTags: func\, fu nctional programming\, se\, sepdx\n\nImported from: http://calagator.org /events/1250472961 URL:https://www.meetup.com/Portland-Functional-Programming-Study-Group/ SUMMARY:PDX Functional Progamming - Theory Track - Logic and Proof LOCATION:Collective Agency Division: 3050 SE Division\, Suite 245\, Portl and Oregon 97202 United States SEQUENCE:3 END:VEVENT END:VCALENDAR