YuriFest — Symposium on Logic in Computer Science Celebrating Yuri Gurevich’s Seventieth Birthday
International PhD School in Formal Languages and Applications
Logic and Computer Science Semester at Tel-Aviv
International Conference on Logic Programming
International Joint Conference on Automated Reasoning
International Symposium in Honor of Zohar Manna
International Conference on Rewriting Techniques and Applications
International Workshop on Termination
International Conference on Language and Automata Theory and Applications
Bar-Ilan International Symposium on the Foundations of Artificial Intelligence
Construction of Computational Logics Working Group
Journée en l'honneur de Zohar Manna
Symposium in Honor of Bruno Buchberger
Logic Day at Tel-Aviv: Celebrating Yoram Hirshfelds's 60th Birthday
Theoretical Computer Science Day at Tel-Aviv: Celebrating Zohar Manna's 64th Birthday
CRI Semantics Day — In Honor of Jeffrey Zucker
