Export or edit this event...

Functional Programming Study Group

Collective Agency Downtown
511 SW 10th Ave, Suite 1108
Portland, OR 97205, US (map)
Public WiFi

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.



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.