Export to

• Google Calendar
• iCalendar file
• hCalendar markup
  <div class="vevent h-event"> <h1 class="summary p-name">PDX Functional Progamming - Theory Track - Logic and Proof</h1> <div class='date'><time class="dtstart dt-start" title="2018-01-24T18:30:00" datetime="2018-01-24T18:30:00">Wednesday, January 24, 2018 from 6:30</time>–<time class="dtend dt-end" title="2018-01-24T20:30:00" datetime="2018-01-24T20:30:00">8:30pm</time></div> <div class="location vcard p-location h-card"> <a class="url" href='http://calagator.org/venues/202395393'><span class='fn org p-name'>Collective Agency Division</span></a> <div class="adr p-adr h-adr"> <div class="street-address p-street-address">3050 SE Division, Suite 245</div> <span class="locality p-locality">Portland</span> , <span class="region p-region">Oregon</span> <span class="postal-code p-postal-code">97202</span> <div class="country-name p-country-name">United States</div> (<a href='https://maps.google.com/maps?q=3050%20SE%20Division,%20Suite%20245,%20Portland%20Oregon%2097202%20United%20States'>map</a>) </div> </div> <div class="description p-description"> <p>Info at <a href="https://www.meetup.com/Portland-Functional-Programming-Study-Group/">https://www.meetup.com/Portland-Functional-Programming-Study-Group/</a></p> <hr> <p>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.</p> <p>We have two kinds of meetings: theory and practice, that each meet twice a month.</p> <p>Please sign up for the mailing list for more announcements, discussions, meeting notes, etc.:</p> <p><a href="http://groups.google.com/pdxfunc">http://groups.google.com/pdxfunc</a></p> </div> <h3>Links</h3> <ul> <li><a class="url u-url" href="https://www.meetup.com/Portland-Functional-Programming-Study-Group/">Website</a></li> </ul> </div>