Export to
Thursday, June 4, 2015 at 10:27am and last updated
Wednesday, June 10, 2015 at 9:13am.
Functional Programming Study Group
Access Notes
We're on the 11th floor, come on up. Non-members park bikes outside the building. Paid car parking is connected to the building, and a SmartPark is two blocks away near Target. Located on SW 10th and Washington, between Target and Powell's, on the big block of food carts. We're on the Streetcar line, a block from the Red and Blue MAX lines, and a 5-minute walk from the Green, Yellow, Orange lines.
Buzz "200" when you arrive. The phone rings once or twice, then you'll be buzzed up. Elevator access available. Indoor bike parking available upstairs. Located on the Green and Yellow MAX lines. Car parking within a few blocks.
The meeting room will be on your left.
Website
Description
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.