INFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.

The Journal of Computer and System Sciences is a distinguished publication founded in 1967 and continually striving to push the boundaries of knowledge in computer science and applied mathematics. Published by Academic Press Inc, Elsevier Science, this journal boasts impressive credentials, holding a Q1 quartile ranking across multiple categories including Applied Mathematics, Computational Theory and Mathematics, Computer Networks and Communications, and Theoretical Computer Science as of 2023. With a focus on innovative research and comprehensive theoretical developments, this journal serves as a pivotal forum for authors and readers alike, facilitating cutting-edge contributions to the field. The journal is not currently open access, providing a curated selection of high-quality articles for its subscription residents. By engaging with this journal, researchers, professionals, and students can gain insight into the latest trends, prominent methodologies, and significant findings that shape the modern landscape of computing and systems analysis.

Foundations and Trends in Programming Languages, published by NOW PUBLISHERS INC, is a premier journal that plays a pivotal role in advancing the field of programming languages. With an ISSN of 2325-1107 and an E-ISSN of 2325-1131, this journal is renowned for its scholarly contributions, receiving a notable impact factor and achieving a distinguished Q1 ranking across multiple categories, including Computer Science Applications, Software, and Theoretical Computer Science in 2023. The journal has sustained a significant trajectory of growth since its inception in 2014, showcasing an impressive Scopus ranking, which places it in the top percentile of its respective fields. Although this journal operates under a traditional access model, its commitment to publishing high-quality, peer-reviewed research ensures that it remains an essential resource for researchers, practitioners, and students alike, fostering deep insights and innovations in the theoretical and practical aspects of programming languages.

BULLETIN OF SYMBOLIC LOGIC, published by Cambridge University Press, is a distinguished academic journal that serves as an essential platform for the dissemination of research in the realms of logic and philosophy. Since its inception in 1995, this journal has progressed through its convergence years and remains committed to fostering intellectual discourse among scholars. With a 2023 ranking in the Q1 category of Philosophy and a Q3 classification in Logic, it continues to uphold its reputation as a significant contributor to the field. While operating under a traditional subscription model, the journal dedicates itself to publishing high-quality articles that explore foundational issues, advanced theories, and innovative insights in symbolic logic. Researchers, professionals, and students will find invaluable resources within its pages, particularly as it ranks favorably among peers, with noteworthy standings in Scopus rankings. For those seeking to deepen their understanding of logical frameworks and their philosophical implications, BULLETIN OF SYMBOLIC LOGIC is an indispensable resource.

Review of Symbolic Logic is a prestigious academic journal published by Cambridge University Press, dedicated to advancing the field of logic through critical analysis and innovative research. Established in 2008, the journal has become a key fixture in the academic community, particularly recognized for its contributions in the realms of logic, mathematics (miscellaneous), and philosophy. With an impressive classification of Q1 across multiple categories in 2023, it ranks within the top echelons of its field, standing at 15th out of 41 in Logic and 29th out of 90 in miscellaneous mathematics, positioning itself as essential reading for scholars and practitioners alike. Although not Open Access, the journal offers robust access options through institutional subscriptions, providing an expansive platform for the dissemination of high-quality research. Review of Symbolic Logic aims to foster a deeper understanding of symbolic logic's applications and implications while inspiring emerging scholars and seasoned researchers to further the dialogue within this vibrant area of study.

ACM Transactions on Programming Languages and Systems (ISSN: 0164-0925, E-ISSN: 1558-4593) is a prestigious journal published by the Association for Computing Machinery, focusing on advancing the field of programming languages and systems. Established in 1979, this enduring publication has become a significant resource for researchers and practitioners alike, with a convergence extending to 2024. The journal maintains a strong presence in the academic community, currently placed in the Q2 category for Software in 2023, demonstrating its commitment to high-quality research. With a Scopus ranking of #260 out of 407 in Computer Science Software, it highlights a unique niche that bridges theoretical foundations and practical implementations. Although it does not offer open access, the journal ensures quality dissemination of tools, methodologies, and innovations that cater to both seasoned professionals and emerging scholars. The ACM Transactions on Programming Languages and Systems thus plays a crucial role in shaping the future of programming languages and their applications, making it an essential read for anyone vested in the field.

LOGIC JOURNAL OF THE IGPL, published by Oxford University Press, stands as a prominent outlet for scholarly work in the field of logic and philosophy. With its ISSN 1367-0751 and E-ISSN 1368-9894, this journal has been a pivotal platform since its inception, covering critical developments in logical theory, methodology, and applications as well as fostering interdisciplinary dialogue with philosophical inquiries. The journal's impressive ranking in the 2023 Scopus metrics, placing it in the 76th percentile for Mathematics - Logic and categorized in Q2 in Philosophy, underscores its significant impact and relevance. Researchers, professionals, and students alike will benefit from its rich repository of innovative ideas and perspectives, with access options that afford a greater reach to the academic community as well as a commitment to advancing the field until 2024 and beyond. Whether you're exploring the nuances of formal systems or the implications of logic in philosophical contexts, the LOGIC JOURNAL OF THE IGPL offers essential insights that contribute to the ongoing discourse.

FUNDAMENTA INFORMATICAE is a distinguished academic journal published by IOS PRESS, focusing on the critical intersection of informatics, mathematics, and computer science. Since its inception in 1988, this journal has served as a vital resource for researchers and professionals alike, providing a platform for innovative studies in Algebra and Number Theory, Computational Theory and Mathematics, Information Systems, and Theoretical Computer Science. With an impressive HIndex, and ranking in the Q3 and Q4 categories across various disciplines as of 2023, it underscores its contribution and relevance in advancing the body of knowledge in these fields. The journal's commitment to excellence is reflected not only in its rigorous peer-review process but also in its notable rankings on Scopus, which positions it favorably among its peers. Though not yet available as an open access journal, FUNDAMENTA INFORMATICAE remains a crucial academic venue for authors wishing to disseminate their findings to a global audience, promoting collaboration and further research within the scientific community.

Notre Dame Journal of Formal Logic is a premier academic publication dedicated to the advancement of research in the field of logical studies. Published by DUKE UNIVERSITY PRESS, this journal has been a significant contributor to the discipline since its inception in 1960, with an impressive convergence of scholarly articles expected to continue through 2024. With its focus on rigorous formal logic, the journal plays a crucial role in fostering discussions that bridge mathematics and philosophical inquiry, holding a notable Q2 ranking in the 2023 Logic category. Despite its non-open-access status, the journal reaches a wide audience of researchers, professionals, and students committed to exploring the foundational aspects of logics. Located in Durham, NC, it provides a platform for innovative thought and critical engagement within the logic community. With its impactful contributions, the Notre Dame Journal of Formal Logic stands as a vital resource for those seeking to deepen their understanding of both classic and contemporary logical theories.

RAIRO - Theoretical Informatics and Applications is a renowned academic journal published by EDP Sciences S A that has been at the forefront of disseminating innovative research and applications in the fields of computer science and mathematics since its inception in 1995. With a focus on theoretical and applied aspects of informatics, the journal serves as a vital resource for researchers and professionals seeking to explore the intricacies of computational theories and their practical applications. Although currently lacking an Open Access model, it provides invaluable insights from distinguished researchers within its Q4 category rankings across its pertinent fields. As reflected in its Scopus rankings, including a position in the 24th percentile for General Mathematics and the 9th percentile for Computer Science Applications, RAIRO is pivotal in contributing to the ongoing discourse and advancements in theoretical informatics. Researchers, professionals, and students will find this journal critical in understanding emerging trends and challenges in the rapidly evolving domains of computer science and mathematics.