Journals and Conferences that author prefers

Journals

1. Electr. Notes Theor. Comput. Sci. (9 paper(s))
2. Theor. Comput. Sci. (4 paper(s))
3. ACM Trans. Comput. Log. (3 paper(s))
4. CoRR (2 paper(s))
5. Inf. Comput. (2 paper(s))
6. J. Autom. Reasoning (2 paper(s))
7. J. Funct. Program. (2 paper(s))
8. J. Log. Comput. (2 paper(s))
9. Ann. Math. Artif. Intell. (1 paper(s))
10. Mathematical Structures in Computer Science (1 paper(s))
11. Ann. Pure Appl. Logic (1 paper(s))
12. Studia Logica (1 paper(s))
13. ACM Comput. Surv. (1 paper(s))
14. Fundam. Inform. (1 paper(s))
15. J. ACM (1 paper(s))
16. J. Symb. Log. (1 paper(s))
17. Machine Learning (1 paper(s))

Conferences

1. International Conference on Automated Deduction (CADE) (15 paper(s))
2. (11 paper(s))
3. Logic in Computer Science (LICS) (9 paper(s))
4. Symposium on Principles of Programming Languages (POPL) (5 paper(s))
5. SIGPLAN Conference on Programming Language Design and Implementation (PLDI) (4 paper(s))
6. International Conference on Logic Programming (3 paper(s))
7. International Conference on Typed Lambda Calculus and Applications (TLCA) (3 paper(s))
8. International Conference on Theorem Proving in Higher Order Logics (3 paper(s))
9. ACM SIGPLAN International Conference on Functional Programming (ICFP) (3 paper(s))
10. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
11. TYPES Workshops (2 paper(s))
12. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
13. Extensions of Logic Programming (ELP) (2 paper(s))
14. Principles and Practice of Declarative Programming (PPDP) (2 paper(s))
15. ACM SIGSOFT/SIGPLAN Software Engineering Symposium on Practical Software Development Environments (SDE) (2 paper(s))
16. APPIA-GULP-PRODE (1 paper(s))
17. Asian Symposium on Programming Languages and Systems (1 paper(s))
18. International Conference on Machine Learning (ICML) (1 paper(s))
19. TAPSOFT (1 paper(s))
20. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
21. International Joint Conference on Artificial Intelligence (IJCAI) (1 paper(s))
22. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
23. International Conference on Concurrency Theory (CONCUR) (1 paper(s))
24. IEEE Computer Security Foundations Workshop (CSFW) (1 paper(s))
25. Mathematical Foundations of Programming Semantics (1 paper(s))
26. International Conference on Robotics and Automation (ICRA) (1 paper(s))
27. Conference for Computer Science Logic (CSL) (1 paper(s))
28. Rewriting Techniques and Applications (RTA) (1 paper(s))
29. European Symposium on Programming (ESOP) (1 paper(s))
30. European Symposium on Research in Computer Security (ESORICS) (1 paper(s))
31. Principles and Practice of Constraint Programming (1 paper(s))
32. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
33. Grid Computing (1 paper(s))
34. Semantics, Applications, and Implementation of Program Generation (SAIG) (1 paper(s))