April meetup

Oleg Grenrus will tell us about SMT solvers (https://en.wikipedia.org/wiki/Satisfiability_modulo_theories). Unfortunately only one talk this time due to cancellations. If you want to give a lightning talk, please do!

There will be some food and drinks.

If you have trouble getting in, call Miikka 050-3299602.