Hey mbrock, off-topic question, but I came across an interesting discussion you had here on HN a few months ago on formal verification of Solidity/EVM and some

Hey mbrock, off-topic question, but I came across an interesting discussion you had here on HN a few months ago on formal verification of Solidity/EVM and some related work you were doing. I run a conference at Stanford in January on this, would you have any interest in giving a talk on your work there? Contact me if interested. http://cyber.stanford.edu/bpase18 http://cyber.stanford.edu/bpase18 http://twitter.com/byrongibson http://twitter.com/byrongibson