INFORMATION AND COMPUTATION is a peer-reviewed academic journal published by Academic Press Inc., Elsevier Science, dedicated to advancing the fields of computational theory and mathematics, computer science applications, and information systems. With an ISSN of 0890-5401 and an E-ISSN of 1090-2651, the journal provides a platform for innovative research that spans theoretical and applied perspectives. Acknowledged for its impact in the community, it holds a Q2 quartile ranking in several categories, including Computational Theory and Mathematics and Computer Science Applications, as of 2023. These rankings place it among the leading journals in its field, making it an essential resource for researchers, professionals, and students aiming to stay abreast of cutting-edge developments. While it does not currently offer Open Access options, the journal intends to foster scholarly communication and knowledge sharing from its inception in 1987 to its future issues expected through 2024. Located in the United States, at 525 B ST, STE 1900, SAN DIEGO, CA 92101-4495, INFORMATION AND COMPUTATION is committed to publishing high-quality research that influences the theoretical foundations and practical applications of its diverse disciplines.

ANNALS OF PURE AND APPLIED LOGIC is a premier academic journal published by Elsevier, specializing in the foundational aspects of logic since its inception in 1974. With a strong commitment to disseminating original research, the journal focuses on both pure and applied logic, making significant contributions to the fields of mathematics and computer science. The journal is recognized for its rigorous peer-review process and is currently ranked Q1 in Logic, reflecting its status among the top-tier publications in the discipline. Researchers will find valuable insights and advancements in logical theory and practice in its pages, while the journal's Scopus ranking further positions it strategically within the mathematical logic community. Although it is not an open-access publication, it offers convenient access options for institutions and subscribers, ensuring a wide reach for groundbreaking findings. The ANNALS OF PURE AND APPLIED LOGIC continues to be an essential resource for professionals, students, and academics alike, facilitating a deeper understanding of logical frameworks and their applications.

Foundations and Trends in Machine Learning is a premier academic journal published by NOW PUBLISHERS INC, specializing in the cutting-edge fields of artificial intelligence, human-computer interaction, and software engineering. Since its inception in 2008, this journal has established a formidable reputation, attaining a Q1 ranking in 2023 across all three categories in the Scopus index, confirming its place among the elite publications in these disciplines. With an exceptional impact reflected in its standing as the top-ranked journal in Computer Science for both Software and Artificial Intelligence, researchers and practitioners alike turn to this resource for in-depth reviews and foundational insights that drive progress in the rapidly evolving landscape of machine learning. While currently operating under traditional access options, the journal invites a diverse audience, including students, researchers, and industry professionals, to deepen their understanding and contribute to knowledge in this dynamic area of study.

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.

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.

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.

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.

The INTERNATIONAL JOURNAL OF APPROXIMATE REASONING, published by Elsevier Science Inc, stands as a pivotal resource in the domains of applied mathematics and artificial intelligence. Since its inception in 1987, the journal has evolved into a leader in its field, boasting an impressive impact factor and ranking within the top quartile for applied mathematics (Q1) and high standings in artificial intelligence and software categories according to the 2023 Scopus rankings. As researchers, professionals, and students delve into complex issues surrounding reasoning under uncertainty, this journal provides invaluable insights and cutting-edge research. In addition to its rich content, the journal's commitment to advancing knowledge in theoretical computer science further enhances its significance in fostering academic growth. While the journal does not currently offer open access, its rigorous peer-review process ensures that only high-quality, impactful studies are published, solidifying its role as an essential source for academics striving to remain at the forefront of their fields.

JOURNAL OF LOGIC AND COMPUTATION, published by Oxford University Press, is a leading peer-reviewed journal dedicated to advancing research in the intersections of logic, computation, and theoretical frameworks of computer science. With an ISSN of 0955-792X and an E-ISSN of 1465-363X, the journal has established itself within academic circles, boasting significant impact evidenced by its category quartiles, including a Q1 ranking in Arts and Humanities (miscellaneous) and a Q2 in Logic for 2023. This prestigious journal emphasizes interdisciplinary approaches to understanding computational systems, hence targeting a diverse audience of researchers, professionals, and students keen on exploring provocative questions in logic and computation. Although not open access, the content is highly valuable, reflecting contemporary challenges and advancements in the field. With over three decades of published work, spanning from 1990 to 2024, the journal continues to contribute richly to the discourse surrounding logical methodologies and computational innovations, making it an essential resource for those engaged in these dynamic areas of study.

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.