April meetup
Details
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.