Research News

Gave a talk at POPL/GALOP 2024

Title: A Denotational Approach to Release/Acquire Concurrency

Yotam Dvir, Ohad Kammar, Ori Lahav

14 Jan 2024

abstract slides abstract

Workshop

concurrency weak memory denotational semantics

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