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="2017-12-13T18:30:00" datetime="2017-12-13T18:30:00">Wednesday, December 13, 2017 from 6:30</time>–<time class="dtend dt-end" title="2017-12-13T20:30:00" datetime="2017-12-13T20: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>We'll discuss Chapter 3 and possibly Chapter 4 of Logic and Proof (<a href="https://leanprover.github.io/logic_and_proof/">https://leanprover.github.io/logic_and_proof/</a>). 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.</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/events/dhqvbpywqbrb/">Website</a></li> </ul> </div>