Change 34629

Time

Attribute with previous and current values

Change #34629

2015-06-08

17:43:24

update Calagator::Event 1250468583 Functional Programming Study Group Roll back

description		→	Levant 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.
venue_details		→	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.