- Scripta Qumranica Electronica (SQE)
- Genizah Project
- Association for the Advancement of Artificial Intelligence (AAAI)
- Journal of the ACM (JACM): Logic and Computation (2010-2020)
- Institut d'études avancées de Paris (IEA)
- Human - Machine Cooperation in Archaeology, Epigraphy and Ancient History
- International Symposium on Computational Methods for Mental Health
- Dan David Prize and Symposium
- YuriFest — Journées sur les Arithétiques Faiebles - Celebrating Yuri Gurevich’s 80th Birthday
- International Conference on Document Analysis and Recognition (ICDAR)
- International
Conference on Logic for Programming,
Artificial Intelligence and Reasoning (LPAR)
- Symposium
on Logical Foundations of Computer Science
(LFCS)
- IEEE Symposium on Logic in Computer Science (LICS)
- International Conference on Computer Science Logic (CSL)
- The International Federation for Computational Logic (IFCoLog)
- Alan M. Turing Centenniel Conference - Israel
- Taiwan - Israel Research Symposium on Artificial Intelligence and Learning Algorithms
- Federated Logic Conference (FLoC)
- International Conference on Unconventional Computation and Natural Computation (UCNC)
- The Conference of Digital Humanities and Social Sciences (DHSS) in Israel
- Bar-Ilan International Symposium on the Foundations of Artificial Intelligence (BISFAI)
- International Conference on Language and Automata Theory and Applications (LATA)
- International Conference on Logic Programming (ICLP)
- International Workshop on Development of Computational Models (DCM)
- International Conference on Rewriting Techniques and Applications (RTA)
- International Joint Conference on Automated Reasoning (IJCAR)
- International Workshop on Rule-Based Programming
- International
Workshop on Termination (WST)
- International Computer Science Symposium in Russia (CSR)
- International Conference on Formal Structures for Computation and Deduction (FSCD)
- Israeli Seminar on Computational Linguistics (ISCOL)
- Israeli Workshop on Non-Classical Logics and Applications (ISRALOG)
- Logical Models of Reasoning and Computation (LMRC)
- Workshop on Physics and Computation
- Workshop on Verification of Infinite-State Systems
- Construction of Computational Logics Working Group
- International PhD School in Formal Languages and Applications
- Logic and Computer Science Semester at Tel-Aviv
- Turing Year in Israel
- Days in Logic
- Handwritten Keyword Spotting Competition
- Hackathon for Tibetan Studies
- International Symposium in Honor of Zohar Manna
- Journée en l'honneur de Zohar Manna
- Theoretical Computer Science Day at Tel-Aviv: Celebrating Zohar Manna's 64th Birthday
- Computation Day at Tel Aviv University: Celebrating Boaz (Boris) Trakhtenbrot's Eighty-Fifth Birthday
- Trakhtenbrot 100
- Logic Day at Tel-Aviv: Celebrating Yoram Hirshfelds's 60th Birthday
- Symposium in Honor of Bruno Buchberger
- YuriFest — Symposium on Logic in Computer Science Celebrating Yuri Gurevich’s Seventieth Birthday
- CRI Semantics Day — In Honor of Jeffrey Zucker
