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.

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.

Welcome to the INTERNATIONAL JOURNAL OF UNCERTAINTY FUZZINESS AND KNOWLEDGE-BASED SYSTEMS, a prestigious publication dedicated to advancing the fields of artificial intelligence, control systems engineering, information systems, and software research. Published by WORLD SCIENTIFIC PUBL CO PTE LTD in Singapore, this journal serves as a vital forum for the dissemination of innovative theories, methodologies, and applications rooted in the coexistence of uncertainty and fuzziness within knowledge-based systems. With its ISSN 0218-4885 and E-ISSN 1793-6411, the journal consistently ranks in the Q3 category across various Scopus categories, including Control and Systems Engineering and Information Systems, reflecting its influential position in the academic community. Researchers and practitioners alike will find valuable insights and the latest trends through its comprehensive articles, making this journal an essential resource for those seeking to navigate the complexities of this evolving field.

JOURNAL OF FUNCTIONAL PROGRAMMING, published by Cambridge University Press, is a leading academic journal dedicated to advancing the field of functional programming. With an ISSN of 0956-7968 and an E-ISSN of 1469-7653, this UK-based journal has been disseminating high-quality research since its inception in 1991, and continues to thrive with a convergence set for 2024. Although the journal is categorized in the Q3 quartile in the Software category as of 2023 and holds a Scopus rank of #335 out of 407 (17th percentile), it remains a critical platform for innovative theoretical and experimental work in functional programming, attracting contributions from thought leaders and emerging scholars alike. The journal's objectives are to foster scholarly dialogue, provide insights into the latest methodologies, and explore the practical applications of functional programming concepts. While it does not currently offer open access, researchers and educators will find valuable resources that enhance understanding and inspire future developments within the discipline. Whether you are a seasoned professional, a researcher, or a student, the JOURNAL OF FUNCTIONAL PROGRAMMING promises to be an essential resource for your academic pursuits.

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.

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.

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.

The JOURNAL OF SYMBOLIC LOGIC, published by Cambridge University Press, stands as a leading platform for scholarly discourse in the realms of logic and philosophy. With a rich history dating back to 1938, this esteemed journal is dedicated to presenting cutting-edge research that pushes the boundaries of knowledge within symbolic logic and its applications. In 2023, it proudly holds a distinguished Q1 ranking in both Logic and Philosophy categories, reflecting its high impact and relevance in the academic community. Researchers and academics benefit from its rigorous peer-review process and contributions from leading scholars worldwide, ensuring the dissemination of high-quality research and critical theories. While the journal currently does not operate under an open access model, it remains a pivotal resource for professionals seeking to deepen their understanding of logical theories and philosophical inquiries. Explore the JOURNAL OF SYMBOLIC LOGIC to engage with scholarly articles that challenge conventional thought and inspire future research.

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.