The Bulletin of the South Ural State University Series-Mathematical Modelling Programming & Computer Software is a distinguished academic journal focusing on the interdisciplinary fields of mathematical modeling, programming, and software development. Published by the SOUTH URAL STATE UNIVERSITY, SCIENTIFIC RESEARCH DEPARTMENT, this journal serves as a platform for the dissemination of innovative research findings, methodologies, and applications in computational mathematics and related disciplines. With its ISSN 2071-0216 and E-ISSN 2308-0256, it has garnered attention within the research community, reflected in its rankings within the Q4 quartile across multiple categories in 2023, including Computational Mathematics and Software. Although it operates under an open access model, the journal emphasizes the importance of high-quality, peer-reviewed content to advance research education and practice in the Russian Federation and beyond. Researchers, professionals, and students are encouraged to contribute and access valuable insights, fostering collaboration among disciplines spanning mathematical theory, computational methods, and software development.

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.

ACM Transactions on Computational Logic, published by the Association for Computing Machinery, is a premier journal dedicated to the advancement of computational logic, spanning the disciplines of computer science and mathematics. With its ISSN 1529-3785 and E-ISSN 1557-945X, this journal has established itself as a vital resource within the academic community, particularly noted for its influential contributions reflected in its 2023 scopus rankings. The journal holds notable quartile rankings, achieving Q1 in the fields of Computer Science (miscellaneous) and Logic, alongside Q2 in Computational Mathematics and Theoretical Computer Science, indicating its prestigious position in the respective categories. Researchers, practitioners, and students can access a wealth of rigorous research articles that delve into both theoretical frameworks and practical applications of computational logic, fostering innovation and collaboration in the field. As it converges towards its 2024 objectives, ACM Transactions on Computational Logic continues to uphold a commitment to excellence and impact, striving to shape the future of computational theories and methodologies.

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.

CONSTRAINTS, an esteemed journal published by Springer, specializes in the interrelated domains of Artificial Intelligence, Computational Theory and Mathematics, Discrete Mathematics and Combinatorics, and Software. With an ISSN of 1383-7133 and E-ISSN of 1572-9354, this journal provides a critical platform for disseminating cutting-edge research and methodologies aimed at addressing complex challenges in these rapidly evolving fields. Located in the Netherlands, the journal's rigorous selection process is reflected in its impressive categorizations, achieving Q2 and Q3 rankings in various Scopus categories for 2023. This positions it among the top quartiles in its respective fields, making it a vital resource for scholars and practitioners seeking to stay at the forefront of innovation. Researchers and students alike will benefit from the insightful contributions within its pages, making CONSTRAINTS a pivotal journal for those dedicated to advancing knowledge and application in computational and artificial intelligence spheres.

Operations Research and Decisions is a highly accessible, peer-reviewed journal published by Wroclaw University of Science and Technology, Faculty of Management. Established in Poland, this open access journal has been disseminating cutting-edge research since 2010 and focuses on the vital intersection of operations research and decision-making processes. With an ISSN of 2081-8858 and an E-ISSN of 2391-6060, it serves as a platform for both theoretical advancements and practical applications in various fields, including management science, modeling and simulation, and statistics. Although currently categorized in the Q4 quartile in multiple relevant subject areas in 2023, the journal is committed to promoting innovative research that addresses contemporary challenges in technology and decision sciences. Researchers, professionals, and students alike will find valuable insights within its pages as they contribute to the evolving landscape of operations research. The journal is available for all interested readers, ensuring that knowledge is freely shared and disseminated across the globe.

The JOURNAL OF PHILOSOPHICAL LOGIC, published by Springer, is a prestigious scholarly journal specializing in the intricate intersections of logic, philosophy, and their diverse applications. Since its inception in 1972, this eminent journal has become a cornerstone of philosophical discourse, attracting leading researchers and scholars in the field. With an impressive ranking of #77 out of 806 in the Scopus Arts and Humanities - Philosophy category and being positioned in the top 10th percentile, it stands as a Q1 journal, denoting its significant impact and rigorous standards in academic publishing. Although not an Open Access journal, it offers access to a wealth of high-quality articles contributing to the advancement of logical theory and practice until 2024. The journal aims to foster a vibrant platform for the exploration and development of philosophical logic, encouraging groundbreaking research and innovative dialogue among professionals and students alike, and solidifying its role as an essential resource within the philosophical community.

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.

PROGRAMMING AND COMPUTER SOFTWARE is a distinguished journal committed to advancing the field of software development and programming methodologies. Published by PLEIADES PUBLISHING INC, this journal has been a valuable resource since its inception in 1978, reaching out to researchers, professionals, and students alike. With an emphasis on rigorous peer-reviewed articles, the journal holds a Q3 ranking in the realm of Software according to the latest 2023 Category Quartiles. Though it does not offer open access, the journal ensures that high-quality research is disseminated to its audience, providing insights into evolving programming techniques, software engineering challenges, and innovative solutions. With its convergence of years extending to 2024, PROGRAMMING AND COMPUTER SOFTWARE remains a pivotal publication, fostering a deeper understanding of the complexities in computer programming while supporting the broader software community.

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.