Journals and Conferences that author prefers

Journals

1. CoRR (5 paper(s))
2. ACM Comput. Surv. (3 paper(s))
3. Fundam. Inform. (3 paper(s))
4. J. Log. Algebr. Program. (3 paper(s))
5. Higher-Order and Symbolic Computation (3 paper(s))
6. Theor. Comput. Sci. (3 paper(s))
7. Acta Inf. (1 paper(s))
8. TPLP (1 paper(s))
9. BIT (1 paper(s))
10. Elektronische Informationsverarbeitung und Kybernetik (1 paper(s))
11. Formal Asp. Comput. (1 paper(s))
12. Inf. Process. Lett. (1 paper(s))
13. SIGPLAN Notices (1 paper(s))
14. ACM Trans. Program. Lang. Syst. (1 paper(s))

Conferences

1. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (11 paper(s))
2. International Conference on Logic Programming (6 paper(s))
3. (4 paper(s))
4. Publications Resulting from Dagstuhl Seminars (3 paper(s))
5. APPIA-GULP-PRODE (2 paper(s))
6. Category Theory and Computer Science (2 paper(s))
7. Symposium/Workshop on Partial Evaluation and Semantic-Based Program Manipulation (PEPM) (2 paper(s))
8. National Conference on Artificial Intelligence (AAAI) (1 paper(s))
9. International Colloquium on Automata, Languages and Programming (ICALP) (1 paper(s))
10. Symposium on Programming Language Implementation and Logic Programming (PLILP) (1 paper(s))
11. Advanced Courses (1 paper(s))
12. Formalization of Programming Concepts (ICFPC) (1 paper(s))
13. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
14. Symposium on Programming (1 paper(s))
15. Algorithmic Languages and Calculi (1 paper(s))
16. International Conference on Parallel Processing (ICPP) (1 paper(s))
17. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
18. Birthday ... (1 paper(s))
19. IFIP WG2.1 Publications (1 paper(s))
20. TAPSOFT (1 paper(s))
21. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
22. International Syposium on Methodologies for Intelligent Systems (ISMIS) (1 paper(s))
23. International Conference on Computational Logic (CL) (1 paper(s))
24. Lambda-Calculus (1 paper(s))
25. Conference on Algorithms and Hardware for Parallel Processing (CONPAR) (1 paper(s))
26. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
27. LITP Spring School on Theoretical Computer Science (1 paper(s))
28. Logic of Programs (1 paper(s))
29. European Symposium on Programming (ESOP) (1 paper(s))
30. Fundamentals of Computation Theory (FCT) (1 paper(s))
31. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
32. Foundations of Software Technology and Theoretical Computer Science (FSTTCS) (1 paper(s))