Interesting Journals

(see also Interesting Special Issues of Journals, Interesting Conferences & Workshops)

covering foundational, theoretical, logical, and mathematical aspects of computer science (including in particular: rewriting & equational reasoning, automated & interactive deductive & inductive reasoning, specification & verification, formal methods, programming languages & software engineering, logical frameworks, computational logic, automata & formal languages, artificial intelligence)

(all data without guarantee, incomplete list)

Journal (abbreviation if any), publisher          

ACM Transactions on Computational Logic (TOCL), ACM
ACM Transactions on Programmin Languages (TOPLAS), ACM
Annals of Mathematics and Artificial Intelligence (AMAI), Kluwer
Annals of Pure and Applied Logic (APAL), Elsevier
Applicable Algebra in Engineering, Communication and Computing (AAECC), Springer
Archive for Mathematical Logic, Springer
Artificial Intelligence (AI), Elsevier

Bulletin of the European Association for Theoretical Computer Science (BEATCS), EATCS

Constraints, Kluwer

Discrete Mathematics & Theoretical Computer Science (DMTCS), DMTCS-LORIA
Electronic Notes in Theoretical Computer Science (ENTCS), Elsevier
Electronic Proceedings in Theoretical Computer Science (EPTCS), open access, see CoRR/
Formal Aspects of Computing (FAC), Springer
Formal Methods in System Design (FMSD), Kluwer
Formal Methods Letters (FML), Springer
(quarterly special section of STTT)
Fundamenta Informaticae (FI), EATCS

Higher-Order and Symbolic Computation (HOSC), Kluwer 
(formerly LISP and Symbolic Computation)

IEEE Transactions on Software Engineering (TSE), IEEE 
Indagationes Mathematicae, Elsevier
Information and Computation (I&C), Elsevier
Information Processing Letters (IPL), Elsevier
International Journal of Foundations of Computer Science (IJFCS), World Scientific
International Journal on Software Tools for Technology Transfer (STTT), Springer

Journal of Applied Logic (JAL), Elsevier
Journal of Automata, Languages and Combinatorics (JALC), Univ. Magdeburg
formerly: Journal of Information Processing and Cybernetics / Elektronische Informationsverarbeitung und Kybernetik
Journal of Automated Reasoning (JAR), Kluwer
Journal of Computer and System Sciences (JCSS), Elsevier
Journal of Functional and Logic Programming (JFLP), Univ. Münster
Journal of Functional Programming (JFP), Cambridge University Press
Journal of Logic and Algebraic Programming (JLAP), Elsevier
Journal of Logic and Computation (LOGCOM), Oxford University Press
Journal of Logic, Language and Information (JOLLI), Kluwer
Journal on Relational Methods in Computer Science (JORMICS), Univ.-BW Muünchen 
Journal of Symbolic Computation (JSC), Elsevier
Journal of Symbolic Logic (JSL), ASL
Journal of the ACM (JACM), ACM
Journal of Universal Computer Science (JUCS), Springer

Logical Methods in Computer Science (LMCS), IFCoLog/CoRR/arXiv 
LMS Journal of Computation and Mathematics (JCM), London Mathematical Society 
Logic Journal of the IGPL (IGPL), Oxford University Press

Mathematical Logic Quarterly (MLQ)Mathematical Logic Quarterly (MLQ), Wiley-VCH
Mathematical Structures in Computer Science (MSCS), Cambridge University Press
Mathematics in Computer Science (MCS) (cf. also here), Birkhäuser
Minds and Machines, Kluwer

Nordic Journal of Computing (NJC), Publishing Association Nordic Journal of Computing

RAIRO - Theoretical Informatics and Applications (Informatique Théorique et Applications (ITA)), EDP Sciences

Science of Computer Programming (SCP), Elsevier
SIAM Journal on Computing (SICOMP), SIAM
Studia Logica, Kluwer

The Computer Journal, Oxford University Press
Theoretical Computer Science (TCS), Elsevier
Theory and Practice of Logic Programming (TPLP), Cambridge University Press
Theory of Computing Systems, Springer

Last modified: Tue Jan 4 19:21:49 CET 2011

Links: Homepage (B.G.) | AG 185/2 | Institut 185 | Server Homepage | Faculty of Informatics | TU Wien

Valid HTML 4.01! Viewable With Any Browser Bernhard Gramlich