All Session Tracks

• Track 01 – Foundations of Mathematical Logic
  This track focuses on the fundamental principles underlying mathematical logic, exploring its historical development and contemporary significance. Participants are encouraged to present research that delves into the axiomatic frameworks and philosophical implications of logical systems. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions
• Track 02 – Proof Theory and Its Applications
  This session invites contributions that investigate the nature of proofs within various logical systems, emphasizing both theoretical advancements and practical applications. Topics may include proof complexity, automated theorem proving, and the interplay between proof theory and computational methods. Aligned SDGs: SDG 9 – Industry, Innovation and Infrastructure  |  SDG 17 – Partnerships for the Goals
• Track 03 – Model Theory: Structures and Interpretations
  This track aims to explore the relationships between formal languages and mathematical structures through the lens of model theory. Researchers are encouraged to present studies on definability, types, and the applications of model-theoretic techniques in various mathematical domains. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 04 – Set Theory and Its Philosophical Foundations
  This session will examine the foundational aspects of set theory, including its axioms, paradoxes, and philosophical implications. Contributions may address both classical and modern developments in set theory, as well as its role in the broader context of mathematics. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions
• Track 05 – Computability and Recursion Theory
  This track focuses on the concepts of computability and recursion, investigating the limits of algorithmic processes and their implications for mathematics. Researchers are invited to discuss new findings in recursive function theory and their applications in computer science. Aligned SDGs: SDG 9 – Industry, Innovation and Infrastructure  |  SDG 17 – Partnerships for the Goals
• Track 06 – Formal Systems and Logical Frameworks
  This session aims to explore various formal systems and their logical frameworks, highlighting their significance in the study of mathematical logic. Topics may include the development of new formal languages, consistency proofs, and the role of formal systems in understanding mathematical truth. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 07 – Automated Reasoning and Logic Programming
  This track invites research on automated reasoning techniques and their applications in logic programming. Contributions may cover advancements in algorithms, software tools, and the theoretical underpinnings that facilitate automated deduction in logical systems. Aligned SDGs: SDG 9 – Industry, Innovation and Infrastructure  |  SDG 17 – Partnerships for the Goals
• Track 08 – Non-Classical Logics: Innovations and Applications
  This session will explore various non-classical logics, including modal, intuitionistic, and paraconsistent logics, and their innovative applications. Researchers are encouraged to present work that challenges traditional logical paradigms and proposes new frameworks for understanding reasoning. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions
• Track 09 – Category Theory and Its Mathematical Foundations
  This track focuses on the role of category theory in providing a unifying framework for various branches of mathematics. Participants are invited to discuss its foundational aspects, including categorical logic, functorial semantics, and applications in algebra and topology. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 10 – Algebraic Logic: Structures and Interpretations
  This session aims to investigate the interplay between algebra and logic, focusing on algebraic structures that arise from logical systems. Topics may include algebraic semantics, lattice theory, and the applications of algebraic methods in understanding logical phenomena. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 11 – Philosophical Logic and Its Implications
  This track will examine the philosophical dimensions of logic, addressing questions about truth, meaning, and inference. Researchers are encouraged to present papers that explore the implications of logical theories for philosophical inquiry and the foundations of mathematics. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions

Alignment with the Sustainable Development Goals
Alongside its academic focus, the conference promotes responsible research, ethical practice and knowledge-driven development. Its session tracks collectively contribute to the following United Nations Sustainable Development Goals.

• SDG 4
  Quality Education
• SDG 9
  Industry, Innovation and Infrastructure
• SDG 16
  Peace, Justice and Strong Institutions
• SDG 17
  Partnerships for the Goals