Helsinki, Finland Bulevardi 14, Helsinki
Tero Laitinen and Oleg Grenrus will tell us about SMT solvers. A possible third talk (not about SMT solvers) TBA. There will be some food and drinks.
Helsinki Haskell Users Group
Propose talk to Helsinki Haskell Users Group