I will be giving a <b>student invited talk </b> at <a href="https://www.tifr.res.in/~shibashis.guha/iVerif/">iVerif: Workshop on artifical intelligence and Verification </a>. Its a pre-FSTTCS workshop. See you all at FSTTCS!