Viewing 0 current events matching “se” by Location.

Sort By: Date Event Name, Location , Default
No events were found.

Viewing 10 past events matching “se” by Location.

Sort By: Date Event Name, Location , Default
Wednesday
Nov 29, 2017
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Dec 13, 2017
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (https://leanprover.github.io/logic_and_proof/). Please try to at least read Chapter 3 and do the exercises. Chapter 4 is a stretch goal. At the meeting anyone will be able to present and contribute to the discussion.


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Jan 10, 2018
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Jan 24, 2018
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Feb 14, 2018
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Mar 14, 2018
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Apr 11, 2018
PDX Functional Progamming - Theory Track - Logic and Proof
Collective Agency Division

Info at https://www.meetup.com/Portland-Functional-Programming-Study-Group/


PDXFunc is a study/user group exploring 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 languages.

We have two kinds of meetings: theory and practice, that each meet twice a month.

Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:

http://groups.google.com/pdxfunc

Website
Wednesday
Oct 20, 2010
BarCamp PDX 4 Volunteer Meeting
Lucky Labrador Brew Pub

We'll have a general meeting of all volunteers to go over our schedule, job assignments, etc. This is to prep so we'll be ready for BarCamp PDX 4 on Friday & Saturday, October 22nd & 23rd at the Eliot Center in Downtown PDX.

Website
BarCamp PDX 4 Vounteer Meeting
Lucky Labrador Brew Pub

We'll have a general meeting of all volunteers to go over our schedule, job assignments, etc. This is to prep so we'll be ready for BarCamp PDX 4 on Friday & Saturday, October 22nd & 23rd at the Eliot Center in Downtown PDX.

Website
Wednesday
Dec 10, 2014
Secret Knowledge of Working Websites
Taborspace

Enlightenment for beginners, confidence for the daunted, wisdom for anyone looking to promote their creative work online.

Build a professional looking, easy-to-maintain website for marketing your music, artwork, or creative business. This workshop is an applied lesson in building a website that works for you using the free Wordpress content management/blogging platform.

Free ($5 - $15 suggested donation). Let us know you're coming. Registration is free (and optional)

Instructor: Noah Kleiman

Secret Knowledge offers free/low-cost workshops aimed at giving working class artists, musicians, and creative entrepreneurs the tech & business skills they need to succeed.

Website