name date place April Meetup 2016-04-28 Metosin oy, Helsinki HaskHel — April Meetup Talks: Impossible Functional Programs by @opqdonut impossible.hs Original blog post Satisfiability Modulo Theories by @phadej