Monday, June 8, 2015
From Portland Functional Programming Study Group
This is a past event
7 people went
322 NW 6th Ave, Suite 200 · Portland
Levent Erkok will be giving an informal talk on the SBV library that he's been working on for quite some time now (https://hackage.haskell.org/package/sbv), and a possible brief intro to SAT/SMT solving.
Go to Attendee List