Gave a talk at OOPSLA/APLAS 2022 Title: An Algebraic Theory for Shared-State Concurrency Yotam Dvir, Ohad Kammar, Ori Lahav 25 Nov 2022 abstract proceedings slides Youtube Publication Conference concurrency algebraic effects denotational semantics
Gave a talk at TABLEAUX 2019 Title: First-Order Quasi-canonical Proof Systems Yotam Dvir, Arnon Avron 03 Sep 2019 abstract proceedings Publication Conference logic paraconsistency knowledge management