Today at around 16:00 I'm doing a lightning talk at the SEC-T security conference titled "SMT in reverse engineering, for dummies".
A stream to the talk should be available on YouTube where you hopefully will be able to see the talk.
It will probably also be available online afterwards. I will update this post with a link.
Unfortunately, the SEC-T arrangers lost all the recordings due to technical problems. Fortunately, I re-recorded my talk and put it on YouTube.