Program Committee Member
-
- International Workshop on Coq for Programming Languages (CoqPL), London, United Kingdom, 2024
- International Conference on Automated Deduction (CADE), Rome, Italy, 2023
- International Conference on Interactive Theorem Proving (ITP), Bialystok, Poland, 2023
- International Conference on the Mathematical Foundations of Programming Semantics (MFPS), Bloomington, IN, USA, 2023
- International Conference on Logic in Computer Science (LICS), Haifa, Israel, 2022
- International Conference on Computer Science Logic (CSL), Göttingen, Germany, 2022
- International Conference on Interactive Theorem Proving (ITP), Rome, Italy, 2021 (co-chair)
- International Conference on Automated Reasoning with Analytic Tableaux and Related Methods (TABLEAUX), Birmingham, UK, 2021
- Workshop on Higher-Order Programming with Effects (HOPE), Virtual, 2021
- International Conference on Certified Programs and Proofs (CPP), New Orleans, Louisiana, USA, 2020
- The Association for Symbolic Logic annual meeting, Irvine, California, USA, 2020
- The Global Conference on Artificial Intelligence (GCAI), Luxembourg City, Luxembourg, 2018
Organizing Committee Member
-
- International Conference on Interactive Theorem Proving (ITP), Haifa, Israel, 2022 (chair)
- AMS Special Session on Homotopy Type Theory, Joint Mathematics Meetings (JMM) , San Diego, USA, 2018
- Israeli Workshop on Non-Classical Logics and Their Applications (ISRALOG) , Tel-Aviv, Israel, 2017
- Israeli Workshop on Non-Classical Logics and Their Applications (ISRALOG) ,Haifa, Israel, 2014
- Women in Computer Science Conference, Tel-Aviv, Israel, 2013
- Logic: Between Semantics and Proof Theory workshop ,Tel-Aviv, Israel, 2012
- Alan M. Turing Centennial Conference , Israel, 2012
Service
