Journals and Conferences that author prefers

Journals

1. Theor. Comput. Sci. (5 paper(s))
2. Acta Inf. (3 paper(s))
3. Formal Asp. Comput. (3 paper(s))
4. Inf. Comput. (2 paper(s))
5. Ann. Pure Appl. Logic (1 paper(s))
6. Computers and Artificial Intelligence (1 paper(s))
7. ACM Comput. Surv. (1 paper(s))
8. Bulletin of the EATCS (1 paper(s))
9. J. Comput. Syst. Sci. (1 paper(s))
10. J. Log. Algebr. Program. (1 paper(s))
11. Sci. Comput. Program. (1 paper(s))
12. IEEE Trans. Software Eng. (1 paper(s))

Conferences

1. Workshop on Algebraic Development Techniques (WADT) / (6 paper(s))
2. TAPSOFT (6 paper(s))
3. Mathematical Foundations of Computer Science (MFCS) (4 paper(s))
4. International Colloquium on Automata, Languages and Programming (ICALP) (3 paper(s))
5. Algebraic Methodology and Software Technology (AMAST) (2 paper(s))
6. Category Theory and Computer Science (2 paper(s))
7. Workshop on Algebraic Development Techniques (WADT) (2 paper(s))
8. ACM Conference on LISP and Functional Programming (LFP) (1 paper(s))
9. Logic in Computer Science (LICS) (1 paper(s))
10. Birthday ... (1 paper(s))
11. International Workshop on Logic Program Synthesis and Transformation (LOPSTR) (1 paper(s))
12. Colloquium on Trees in Algebra and Programming (CAAP) (1 paper(s))
13. Construction and Analysis of Safe, Secure, and Interoperable Smart Devices (1 paper(s))
14. Symposium on Principles of Programming Languages (POPL) (1 paper(s))
15. Conference for Computer Science Logic (CSL) (1 paper(s))
16. Radical Innovations of Software and Systems Engineering in the Future (1 paper(s))
17. Semantics of Data Types (1 paper(s))
18. Ershov Memorial Conference (1 paper(s))
19. Symposium on Logic Programming (SLP / ILPS / NACLP) (1 paper(s))
20. Fundamental Approaches to Software Engineering (FASE) (1 paper(s))
21. Semantics of Specification Languages (1 paper(s))
22. Fundamentals of Computation Theory (FCT) (1 paper(s))
23. Foundations of Software Science and Computation Structure (FoSSaCS) (1 paper(s))
24. Scottish Functional Programming Workshops (1 paper(s))
25. Workshop on Interface Definition Languages (1 paper(s))
26. (1 paper(s))