2022-10-08, ETH Workshop on Dependable and Secure Software Systems
2020-10-09, Intel ARITH
2020-08-19, madPL Seminar @ University of Wisconsin
2019-12-05, TVM Conference
2019-09-20, Synthetic Minds
2018-07-08, Coq Workshop
2017-02-03, University of Utah
2016-07-14, Microsoft Research Faculty Summit
I have not been diligent tracking talks; several are missing.
If you have pointers to any, please let me know!