Viewing 0 current events matching “meetup:event=222743447” by Event Name.

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

Viewing 1 past event matching “meetup:event=222743447” by Event Name.

Sort By: Date Event Name, Location , Default
Monday
Jun 8, 2015
Functional Programming Study Group
Collective Agency Downtown

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.

Website