Journal of the ACM: Logic and Computation
IEEE Symposium on Logic in Computer Science
Advanced Seminar in Logic and Formal Methods in Computer Science
Turing Year
in Israel
Logical Models of
Reasoning and Computation
Taiwan - Israel Research Symposium on Artificial Intelligence and Learning Algorithms
International Conference on Computer Science Logic
International Workshop on Development of Computational Models
International Conference on Unconventional Computation
International Conference on Logic for Programming, Artificial Intelligence and Reasoning
International Workshop on Rule-Based Programming
Israeli Seminar on Computational Linguistics
Workshop on Verification of Infinite-State Systems
IFIP Working Group 1.6 - Term Rewriting
The International Federation for Computational Logic (IFCoLog)
YuriFest — Symposium on Logic in Computer Science Celebrating Yuri Gurevich’s Seventieth Birthday
