Welcome to the ACM Transactions on Mathematical Software, a prestigious journal published by the Association for Computing Machinery (ACM). With an ISSN of 0098-3500 and an E-ISSN of 1557-7295, this journal has been at the forefront of innovation in the field since its inception in 1975. It serves as a critical platform for researchers, professionals, and students, facilitating the dissemination of advanced mathematical techniques and software developments. The journal is recognized for its outstanding impact, evidenced by its Q1 classification in Applied Mathematics and Q2 in Software for 2023, along with an impressive Scopus ranking placing it in the 85th percentile for Applied Mathematics and the 58th percentile for Computer Science. Our objective is to publish high-quality research that explores new methodologies in mathematical software and their applications, driving the field forward. Although not an open access journal, the relevance and rigor of the content ensure that it remains a valuable resource in mathematical and computational sciences. Join us in exploring the latest in mathematical software and contribute to shaping future advancements.

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.

SOFTWARE-PRACTICE & EXPERIENCE, published by Wiley, is a prestigious journal that has significantly contributed to the field of software engineering since its inception in 1971. With a Q2 ranking in Software according to the 2023 category quartiles, it stands among the top tier of journals, positioned in the 79th percentile within Scopus’s Computer Science _ Software category. The journal focuses on disseminating high-quality research that reflects both academic rigour and practical application in software-related practices, ensuring that it remains relevant for researchers, professionals, and students alike. Although it does not currently offer Open Access options, it continues to provide invaluable insights and thorough explorations of contemporary issues in software development, methodology, and experience. As it converges toward 2024, SOFTWARE-PRACTICE & EXPERIENCE aims to foster a greater understanding of effective software practices in a rapidly evolving technological landscape.

Automated Software Engineering is a premier journal dedicated to advancing the field of software engineering through the exploration of innovative methodologies, tools, and applications. Published by Springer since its inception in 1994, this journal has established itself as a vital resource for researchers, industry professionals, and students alike, providing insights into the latest trends and technological advancements. With an impressive impact factor and currently ranked in the Q2 quartile of the Software category, it is recognized for its contribution to the discipline. The journal covers a broad scope of topics including automation in software development, empirical studies, and theoretical advancements, fostering discussions that bridge academia and industry. As we look forward to converging towards the year 2024, the journal continues to invite high-quality submissions that challenge existing paradigms and pave the way for future innovations in software engineering.

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.

Proceedings of the ACM on Programming Languages (PACMPL) is a premier journal that focuses on the advancement and dissemination of knowledge in the field of programming languages. Published by the Association for Computing Machinery (ACM), this rigorous journal serves as a vital platform for researchers, professionals, and students alike, contributing significantly to software development and safety across diverse applications. With impressive rankings in Q1 quartiles for both Safety, Risk, Reliability and Quality and Software, and a recognition in the Scopus Rankings, PACMPL stands out as a critical resource for cutting-edge research. The journal is particularly relevant in today’s rapidly evolving technological landscape, focusing on innovative practices and methodologies in programming languages that enhance system reliability and performance. As an Open Access publication since its convergence in 2017, PACMPL not only emphasizes high-quality peer-reviewed research but also prioritizes accessibility, making significant contributions to the global knowledge base. By empowering researchers and practitioners with the latest findings and trends, PACMPL continues to firmly establish its importance in the computing field.

Empirical Software Engineering is a leading journal published by Springer, dedicated to advancing the science and practice of software engineering through empirical research. With an impressive impact factor in the Q1 quartile of the Software category and a Scopus ranking of #76 out of 407 journals, it occupies a prominent position within the field, attracting high-quality submissions from around the globe. Since its inception in 1996, the journal has provided a vital platform for disseminating critical findings that drive the evolution of software development methodologies and practices. While it is not an open-access journal, its rigorous peer-review process ensures that only the most impactful research reaches its readership, making it an essential resource for researchers, professionals, and students looking to stay at the forefront of software engineering innovations. Based in the Netherlands at Van Godewijckstraat 30, 3311 GZ Dordrecht, Empirical Software Engineering continues to set the standard for quality and significance in empirical studies of software systems and processes.

INFORMATION AND SOFTWARE TECHNOLOGY, published by Elsevier, is a leading journal that stands at the forefront of the fields of software engineering, information systems, and computer science applications. Since its inception in 1970 and with a focus extending to 2025, this esteemed publication has made significant contributions to the discourse on technological advancements and innovations. In 2023, it has achieved a remarkable Q1 categorization across multiple domains, including Computer Science Applications, Information Systems, and Software, reflecting its excellence and relevance in the academic community. With Scopus rankings that place it in the top percentiles in its categories (85th, 83rd, and 83rd respectively), the journal serves as an essential platform for researchers, professionals, and students eager to disseminate and engage with cutting-edge research and developments. While it does not currently offer Open Access options, the knowledge curated within its pages remains invaluable for advancing the fields of information technology and software development.

The International Journal of Reliability Quality and Safety Engineering, published by World Scientific Publishing Co Pte Ltd, is a leading platform for disseminating cutting-edge research in the fields of reliability, quality, and safety engineering. With an impressive scope that spans across aerospace, electrical engineering, nuclear energy, and industrial manufacturing, this journal serves as a critical resource for researchers and professionals aiming to enhance system dependability and operational excellence. Indexed in Scopus, it holds a respectable Q3 ranking across various categories in 2023, reflecting its growing influence in the academic community. Although currently not open access, it provides ample opportunities for scholars to publish impactful studies from its extensive database, which has evolved since 1996. The journal's commitment to advancing knowledge in reliability and safety engineering makes it a pivotal resource for those dedicated to improving engineering practices and protocols worldwide.

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.