- Episciences - Applied Mathematics and Informatics
- Journal of the ACM (JACM): Logic and Computation (2010-2020)
- Academia Europaea
- IFIP Working Group 1.6 - Term Rewriting
- Scripta Qumranica Electronica
- The International Federation for Computational Logic (IFCoLog)
- 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
- International Conference on Formal Structures for Computation and Deduction (FSCD)
- 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)
- Alan M. Turing Centenniel Conference - Israel
- Taiwan - Israel Research Symposium on Artificial Intelligence and Learning Algorithms
- List of Open Problems
- Earlier Activities
Theoretical Computing: Rewrite Systems; Church-Turing Thesis; Theorem Proving; Analog Algorithms; Logic
Artificial Intelligence: Automated Reasoning; Program Synthesis
Programming Languages: Logic-based; Equational
Software Engineering: Program Verification; Calendar Algorithms
Computational Humanities: Analysis of Historical Manuscripts; Machine Translation
