I
am a postdoctoral researcher at MPISWS,
working with Viktor Vafeiadis and Derek
Dreyer.
I
am a member of the ERC RustBelt project.
I
completed my PhD at Tel Aviv University
under the supervision of Arnon Avron.
Contact Info 
See MPISWS page 



Teaching in TAU 
Computational
Models: fall
08, fall
09, fall
10, spring 10, spring 11 



Publications The
links on the left side are precopyediting, selfproduced PDFs. The
definitive publisherauthenticated version is
available online at the corresponding links on the right side. 
Conference Papers 



Repairing Sequential
Consistency in C/C++11 Ori Lahav, Viktor Vafeiadis, Jeehoon Kang, ChungKil Hur, Derek Dreyer Submitted. 


A Promising
Semantics for RelaxedMemory Concurrency Jeehoon Kang, ChungKil Hur, Ori Lahav, Viktor Vafeiadis, Derek Dreyer Accepted
to POPL 2017. 

Explaining Relaxed Memory Models
with Program Transformations Ori Lahav, Viktor Vafeiadis Proceedings
of FM 2016. 

It ain't necessarily so: Basic Sequent Systems for Negative
Modalities Ori Lahav, João Marcos, Yoni Zohar Proceedings
of AiML 2016. 


Taming ReleaseAcquire
Consistency Ori Lahav,
Nick Giannarakis, Viktor Vafeiadis Proceedings
of POPL 2016. 


OwickiGries
Reasoning for Weak Memory Models Ori Lahav,
Viktor Vafeiadis Proceedings
of ICALP 2015, track B. 


Oded Padon, Neil Immerman, Aleksandr Karbyshev, Ori Lahav, Mooly Sagiv, Sharon Shoham Proceedings
of POPL 2015. 


Primal Infon Logic with Conjunctions as Sets Carlos Cotrini,
Yuri Gurevich, Ori Lahav,
Artem Melentyev Proceedings of TCS 2014. 


On the
Construction of Analytic Sequent Calculi for Subclassical Logics Ori Lahav,
Yoni Zohar Proceedings of WoLLIC 2014. 


SATbased Decision
Procedure for Analytic Pure Sequent Calculi Ori Lahav,
Yoni Zohar Proceedings of IJCAR 2014. 


Modular Reasoning
about Heap Paths via Effectively Propositional Formulas Proceedings of POPL 2014. 


Instantiations,
Zippers and EPR Interpolation 


From Frame
Properties to Hypersequent Rules in Modal Logics Ori Lahav Proceedings of LICS 2013. Kleene Award for Best Student Paper 


Automated
Support for the Investigation of Paraconsistent and
Other Logics Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky Proceedings of LFCS 2013. 


Nondeterministic
Matrices for Semicanonical Deduction Systems Ori Lahav Proceedings of ISMVL 2012. 


Effective
Finitevalued Semantics for Labelled Calculi
Matthias Baaz, Ori Lahav, Anna Zamansky
Proceedings of IJCAR 2012. 


Basic
Constructive Connectives, Determinism and Matrixbased Semantics Agata Ciabattoni, Ori Lahav, Anna Zamansky Proceedings of TABLEAUX 2011. 


Kripke Semantics for Basic Sequent Systems Arnon Avron, Ori Lahav Proceedings of TABLEAUX 2011. 


Nondeterministic
Connectives in Propositional Gödel Logic Ori Lahav, Arnon Avron Proceedings
of EUSFLAT 2011. 


A
MultipleConclusion Calculus for FirstOrder Gödel Logic Arnon Avron, Ori Lahav Proceedings
of CSR 2011. 


Canonical
Constructive Systems Arnon Avron, Ori Lahav Proceedings of TABLEAUX 2009. 


Journal
Papers 


A CutFree Calculus for
SecondOrder Gödel Logic Ori Lahav, Arnon Avron Fuzzy Sets and Systems (FSS), 2015. 


Taming Paraconsistent (and Other) Logics: An Algorithmic Approach Agata Ciabattoni, Ori Lahav, Lara Spendier, Anna Zamansky ACM Transactions on Computational Logic
(TOCL), 2015. 


Semantic
Investigation of Canonical Gödel Hypersequent
Systems Ori Lahav Special issue of Journal of Logic and
Computation (JLC), 2016. 


Finitevalued
Semantics for Canonical Labelled Calculi Matthias Baaz, Ori Lahav, Anna Zamansky
Journal of Automated Reasoning (JAR), 2013. 


A Unified
Semantic Framework for Fullystructural Propositional Sequent Systems Ori Lahav, Arnon Avron ACM Transactions on Computational Logic
(TOCL), 2013. 


A Semantic
Proof of Strong Cutadmissibility for FirstOrder Gödel Logic Ori Lahav, Arnon Avron Journal of Logic and Computation (JLC),
2013. 


Studying Sequent
Systems via Nondeterministic MultipleValued Matrices Ori Lahav Journal
of MultipleValued Logic and Soft Computing (MVLSC), 2013. 


On
Constructive Connectives and Systems Arnon Avron, Ori Lahav Logical Methods in Computer Science
(LMCS), 2010. 


Strict Canonical
Constructive Systems Arnon Avron, Ori Lahav Fields of Logic and Computation, Essays Dedicated to Yuri Gurevich on the Occasion of His 70th Birthday, 2010. 






Abstract Presentations in International
Conferences and Workshops 
Extensions of
Analytic Pure Sequent Calculi with Modal Operators Yoni
Zohar, Ori Lahav Compositional Meaning in Logic, GeTFun 4.0. Affiliated with IJCAR 2016. 



A CutFree
Calculus for SecondOrder Gödel Logic Ori Lahav, Arnon Avron Forth Conference of the Working Group on
Mathematical Fuzzy Logic, LATD 2014. 


On the
Construction of Analytic Sequent Calculi for Subclassical Logics Ori Lahav,
Yoni Zohar Third International Workshop on "Gentzen Systems and Beyond", GSB 2014. Affiliated with
CSLLICS 2014. 



Semantic
Investigation of Basic Sequent Systems Ori Lahav Workshop on Abstract Proof Theory, Unilog 2013. 


Finitevalued
Semantics for Canonical Labelled Calculi Ori Lahav, Anna Zamansky
Compositional Meaning in Logic, GeTFun 1.0, Unilog 2013. 


KripkeStyle Semantics for Normal Systems Arnon Avron, Ori Lahav Second
Conference of the Working Group on Mathematical Fuzzy Logic, LATD 2010. 


Invited Talks and Tutorials 
SATBased Decision
Procedure for Analytic Sequent Calculi Microsoft Research, Redmond, October 2013. 




Semantic
Investigation of Canonical Gödel Hypersequent
Systems Logic: Between Semantics and Proof
Theory, A Workshop in Honor of Prof. Arnon Avron's 60th Birthday, TelAviv, November 2012. 




Studying
Sequent Systems via Nondeterministic ManyValued Matrices Eighth International Tbilisi Summer
School in Logic and Language, Tbilisi, September 2012. 




(Nondeterministic)
Semantics as a Tool for Analyzing Proof Systems Researcher's Seminar of the Theory and
Logic Group, Vienna University of Technology, April
2012. 



Other Talks 
OwickiGries for Weak Memory Models Israeli Verification day, Tel Aviv
University, 2014. 


Theses

Ph.D Thesis, Semantic
Investigation of Proof Systems for Nonclassical Logics Tel Aviv University, 2013. 



M.Sc Thesis, Canonical
Constructive Systems Tel
Aviv University, 2009. 


Tools 



Events 
Logic: Between Semantics and
Proof Theory A Workshop in Honor of Prof. Arnon Avron's 60th Birthday 12 November 2012, TelAviv, Israel 


