The Journal of Logical and Algebraic Methods in Programming (ISSN: 2352-2208, E-ISSN: 2352-2216) is a prestigious publication by Elsevier Science Inc, dedicated to advancing the fields of computational theory, programming logic, and mathematical methodologies. Esteemed in its commitment to high-quality research, this journal holds a Q2 ranking in 2023 for Computational Theory and Mathematics, and is recognized in various other disciplines including Logic and Software Studies. The journal’s open access policy enhances its visibility and accessibility, ensuring that cutting-edge research reaches a wider audience of researchers, professionals, and students. With an impressive convergence timeline from 2014 to 2025, it is a vital resource for those seeking to explore innovative algorithms and their applications in diverse areas of informatics. The Journal of Logical and Algebraic Methods in Programming represents a unique intersection of logic, mathematics, and software, carving a significant place in the scholarly discourse of theoretical computer science.

ACTA INFORMATICA is a prestigious academic journal published by Springer, dedicated to advancing the fields of computer networks and communications, information systems, and software engineering. With an ISSN of 0001-5903 and an E-ISSN of 1432-0525, the journal has continued to thrive since its inception in 1971 and is set to cover research up until 2024. Although it currently operates within a Q3 category in its respective fields, it is recognized for providing a platform for high-quality, peer-reviewed research, which is essential for fostering innovation and knowledge dissemination in computer science. While it does not offer an open access option, scholars benefit from its rigorous editorial standards and comprehensive coverage of significant trends and methodologies. The journal is conveniently based in New York, NY, USA, further enhancing its accessibility to a global audience. Researchers, professionals, and students alike will find ACTA INFORMATICA a valuable resource for staying abreast of the latest developments and breakthroughs in this vital area of study.

Logical Methods in Computer Science is a premier Open Access journal dedicated to fostering scholarly dialogue within the realms of Computer Science and Theoretical Computer Science. Established in 2004 and published by LOGICAL METHODS COMPUTER SCIENCE E V in Germany, this journal aims to bridge theoretical frameworks and practical applications, providing a platform for innovative research and discoveries. With an impressive HIndex reflecting its commitment to high-quality research, Logical Methods in Computer Science has achieved a Q2 ranking in both the miscellaneous and theoretical categories of computer science, indicating its growing influence in the academic community. Researchers, professionals, and students are encouraged to access and engage with the wealth of knowledge this journal offers, which is freely accessible to facilitate widespread dissemination of cutting-edge advancements in logical methods. With its convergence period extending from 2005 to 2024, Logical Methods in Computer Science continues to be a vital resource for those looking to explore the intersections of logic, computation, and mathematics.

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.

Computer Science and Information Systems, an esteemed journal published by the COMSIS CONSORTIUM, serves as a vital platform for researchers and practitioners within the field of computer science and information systems. With an ISSN of 1820-0214, this open access journal has been disseminating high-quality research since 2004, making scholarly content readily accessible to a global audience. Based in Novi Sad, Serbia, the journal has established itself as a point of reference in the academic community, achieving a Q3 ranking in the Computer Science (miscellaneous) category as of 2023. With its coverage spanning from 2008 to 2024, it caters to a diverse range of topics, including software engineering, data processing, and system architecture. Although the HIndex is currently not available, the journal holds a respectable 43rd percentile ranking in the Scopus database for general computer science, showcasing its relevance in the field. By offering an open access model, it ensures that groundbreaking research can be freely accessed and utilized, fostering innovation and collaboration across disciplines.

NEW GENERATION COMPUTING is a prominent academic journal published by SPRINGER, specializing in the dynamic fields of Computer Networks, Hardware and Architecture, Software Engineering, and Theoretical Computer Science. With a commitment to disseminating high-quality research since its inception in 1983 and extending its coverage to 2024, this journal occupies a vital role in advancing knowledge and innovation within these critical domains. Holding prestigious Q2 rankings in Computer Networks and Communications, Hardware and Architecture, and Software, as well as a Q3 ranking in Theoretical Computer Science for 2023, NEW GENERATION COMPUTING attracts significant contributions from scholars and professionals around the globe. Researchers will find its rigorous peer-review process ensures the publication of impactful studies, while students gain access to cutting-edge research that shapes contemporary computing practices. Though it does not offer open access, the journal remains an invaluable resource in the academic community, fostering collaboration and dialogue among experts aiming to push the boundaries of technology.

SOFTWARE QUALITY JOURNAL, published by Springer, is a preeminent platform dedicated to advancing the field of software engineering and quality assurance. With an ISSN of 0963-9314 and an E-ISSN of 1573-1367, this journal serves as a vital resource for academics and practitioners alike, bridging the gap between theoretical frameworks and practical applications. The journal is recognized for its impactful contributions, holding a remarkable Q1 ranking in Media Technology and demonstrating strong performance with Q2 placements in Safety, Risk, Reliability and Quality, as well as Software, solidifying its reputation in the academic community. As of 2023, the journal is ranked 64th in Safety, Risk, Reliability and Quality and 176th in Computer Science Software on Scopus, showcasing its relevance and influence. Covering a broad range of topics from software quality metrics to risk management strategies, SOFTWARE QUALITY JOURNAL aims to foster innovation and best practices in software development. Join a community of leading researchers and professionals committed to enhancing the quality and reliability of software systems.

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.

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.

Formalized Mathematics is a pioneering open-access journal published by SCIENDO, dedicated to the field of formalized systems and mathematical foundations. Since its inception in 2006, it has provided a platform for researchers to discuss and disseminate advancements in applied mathematics and computational mathematics, emphasizing formalization in mathematical reasoning. Although recent coverage in Scopus has been discontinued, the journal still serves as a valuable resource for academics looking to deepen their understanding of formalized approaches to mathematical problems. With its ISSN 1898-9934, the journal not only promotes unrestricted access to quality research but also facilitates collaboration among mathematicians and computer scientists. Given its rankings—20th percentile in Applied Mathematics and 18th percentile in Computational Mathematics—Formalized Mathematics is a vital conduit for innovative research, making it a significant asset for students, professionals, and scholars aiming to explore the intersection of mathematics and formal logic.