ACM Transactions on Computation Theory, published by the Association for Computing Machinery, is a prestigious journal dedicated to advancing the field of computation theory and theoretical computer science. With an ISSN of 1942-3454 and an E-ISSN of 1942-3462, this journal serves as a vital resource for researchers and professionals seeking to explore groundbreaking developments in computational models, algorithms, and their mathematical foundations. The journal's rigorous standards have earned it a significant position within the academic community, as evidenced by its 2023 category quartiles, ranking in the Q1 category for Computational Theory and Mathematics and Q2 for Theoretical Computer Science. Although it operates through traditional subscription access, it maintains a critical role in disseminating cutting-edge research and fostering collaboration among experts in the United States and beyond. As an influential platform, ACM Transactions on Computation Theory is committed to contributing to the ongoing dialogue and advancement of computation theory, making it essential reading for anyone passionate about this dynamic field.

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.

Welcome to the SIAM Journal on Computing, a premier publication of SIAM Publications dedicated to advancing the field of computational science. Established in 1984, this journal provides a platform for groundbreaking research and theoretical advancements that shape the landscape of both Computer Science and Mathematics. With an impressive impact factor and consistently ranking in Q1 quartiles for its categories, the journal remains an essential resource for scholars looking to contribute to innovative computational theories and methodologies. Although not currently an open-access journal, the SIAM Journal on Computing offers rigorous peer-reviewed articles, ensuring high-quality contributions that appeal to researchers, professionals, and students alike. As we converge towards 2024, this journal continues to play a vital role in influencing future research directions and fostering an academic community devoted to the exploration of computational challenges. Join us in exploring the forefront of computing research!

THEORY AND PRACTICE OF LOGIC PROGRAMMING, published by Cambridge University Press, is a premier academic journal that delves into the evolving field of logic programming, offering insights and advancements from 2001 to 2024. With an ISSN of 1471-0684 and an E-ISSN of 1475-3081, this journal serves as a vital resource for researchers, professionals, and students interested in areas such as artificial intelligence, computational theory, and software development. In 2023, the journal was recognized for its excellence, achieving Q1 status in Computational Theory and Mathematics and Q2 in several other categories, underscoring its significant impact within the academic community. Despite not being open access, its robust content, curated by esteemed scholars, guarantees high-quality research and innovative methodologies that are crucial for advancing the field. The journal's rigorous peer-review process and its standings in Scopus rankings further emphasize its relevance and authority, making it a quintessential platform for disseminating key findings and fostering scholarly dialogue.

Theoretical Computer Science, published by Elsevier, serves as a pivotal platform in the field of computational theory, exploring the foundational aspects of computer science and mathematical logic since its inception in 1975. With both a print ISSN of 0304-3975 and an E-ISSN of 1879-2294, this journal is esteemed for its rigorous peer-review process and commitment to advancing knowledge in theoretical frameworks and algorithms. Positioned in the Q2 quartile for both Computer Science (miscellaneous) and Theoretical Computer Science categories, it ranks #124 out of 232 in general computer science and #73 out of 130 in theoretical computer science according to Scopus metrics, reflecting its significant influence and reach within the academic community. Researchers and professionals can access this journal through institutional subscriptions, providing a plethora of high-quality articles that contribute to ongoing debates and developments in the discipline. The journal's scope encompasses a wide array of topics, ensuring relevance across various subfields, thus making it an essential resource for anyone dedicated to furthering their understanding of theoretical computer science.

FORMAL METHODS IN SYSTEM DESIGN, published by Springer, is a pivotal journal in the fields of Hardware and Architecture, Software, and Theoretical Computer Science. With an ISSN of 0925-9856 and an E-ISSN of 1572-8102, it has been at the forefront of advancing the understanding and implementation of formal methods since its inception in 1992, with a convergence slated through 2024. Given its ranking in the Q3 category across multiple computer science disciplines, it serves as a critical resource for researchers and practitioners looking to enhance the reliability and performance of complex systems. The journal offers an excellent platform for disseminating high-quality research that addresses the rigorous analytical techniques required for system design, making it invaluable for academics, professionals, and students alike. Notably, FORMAL METHODS IN SYSTEM DESIGN is based in the Netherlands, with its offices located at VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS, and although it does not currently offer open access, the journal's comprehensive archive remains accessible for deeper research into the formal methodologies that shape contemporary computing paradigms.

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.

Advances in Mathematics of Communications, published by the American Institute of Mathematical Sciences (AIMS), is a leading journal dedicated to the dissemination of high-quality research in the fields of algebra, number theory, applied mathematics, discrete mathematics, combinatorics, and computer networks. Established in 2008, this journal has quickly established itself as a significant contributor to mathematical communications, holding a reputable position in the Scopus rankings, with impressive category quartiles, including Q2 rankings in key areas such as Algebra and Number Theory and Applied Mathematics. Besides its rigorous peer-review process, the journal facilitates the growth of innovative ideas and methodologies that bridge the gap between theory and application. With no open access restrictions, Advances in Mathematics of Communications aims to provide an inclusive platform for researchers, professionals, and students to share their findings and insights, fostering collaboration and advancing the global knowledge base in the mathematical sciences. The journal's commitment to excellence ensures its role as an essential resource in the ever-evolving landscape of mathematics.

FORMAL ASPECTS OF COMPUTING is a distinguished journal published by the ASSOCIATION FOR COMPUTING MACHINERY, dedicated to the fields of Software Engineering and Theoretical Computer Science. With the ISSN 0934-5043 and E-ISSN 1433-299X, this journal has made a significant impact in its categories, achieving a Q3 ranking in both Software and Theoretical Computer Science as of 2023. The journal spans over three decades since its inception in 1989, providing a platform for high-quality research that addresses critical formal methods and their applications in computing. While it currently does not offer open access, it remains an essential resource for researchers and practitioners in the field. The journal's credibility is bolstered by its Scopus rankings, placing it in the top half of both theoretical and software-related fields. By engaging with current trends and fostering innovative approaches, FORMAL ASPECTS OF COMPUTING stands as a vital repository of knowledge and a catalyst for future advancements in the discipline.

Computer Science Journal of Moldova, published by the Institute of Mathematics and Computer Science Academy, serves as a pivotal platform for disseminating research in the field of computer science since its inception in 1993. With a focus on a diverse range of subjects, including Artificial Intelligence, Computational Mathematics, and Software Engineering, this open access journal aims to foster innovation and collaboration among researchers, students, and industry professionals. Despite its current positioning in the lower quartiles as per the latest Scopus rankings, the journal remains committed to enhancing the visibility of regional research and addressing contemporary challenges through scholarly contributions. The journal’s open access model ensures that knowledge is freely available, promoting broader readership and impact within the international academic community. As it moves through the converged years from 2019 to 2024, the Computer Science Journal of Moldova continues to aspire toward empowering the next generation of computer scientists while enriching the global dialogue in this rapidly evolving field.