I presented a paper at #vmcai and will attend #popl2023 until tomorrow! Hmu if you’re into formal verification, model checking, concurrent systems & the like :)