Journals and Conferences that author prefers

Journals

1. Fundam. Inform. (2 paper(s))
2. Logic Journal of the IGPL (2 paper(s))
3. J. Log. Algebr. Program. (2 paper(s))
4. J. Symb. Comput. (2 paper(s))
5. Notre Dame Journal of Formal Logic (2 paper(s))
6. Comput. J. (1 paper(s))
7. Electr. Notes Theor. Comput. Sci. (1 paper(s))
8. J. Autom. Reasoning (1 paper(s))
9. J. Log. Comput. (1 paper(s))
10. Studia Logica (1 paper(s))

Conferences

1. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (16 paper(s))
2. (6 paper(s))
3. APPIA-GULP-PRODE (3 paper(s))
4. International Conference on Logic Programming (3 paper(s))
5. Symposium on Logic Programming (SLP / ILPS / NACLP) (2 paper(s))
6. Analytic Tableaux and Related Methods (TABLEAUX) (2 paper(s))
7. IEEE International Conference on Formal Engineering Methods (2 paper(s))
8. Applications and Theory of Petri Nets (ICATPN/APN) (1 paper(s))
9. Automated Software Engineering (ASE) (1 paper(s))
10. Asia-Pacific Software Engineering Conference (1 paper(s))
11. Birthday ... (1 paper(s))
12. Russian Conference on Logic Programming / (1 paper(s))
13. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
14. Mathematical Foundations of Computer Science (MFCS) (1 paper(s))
15. International Conference on Computational Logic (CL) (1 paper(s))
16. Symposium on Programming (1 paper(s))
17. (1 paper(s))
18. Semantics of Data Types (1 paper(s))
19. Extensions of Logic Programming (ELP) (1 paper(s))
20. Formal and Applied Practical Reasoning (FAPR) (1 paper(s))
21. Foundations of Logic and Functional Programming (1 paper(s))
22. TAPSOFT (1 paper(s))
23. Formal Methods for Components and Objects (1 paper(s))
24. GI-Jahrestagung (1 paper(s))