All Session Tracks

• Track 01 – Foundations of Set Theory
  This track explores the fundamental principles of set theory, including axiomatic systems and their implications for mathematical structures. Discussions will focus on the development and consistency of various set-theoretic frameworks. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 02 – Mathematical Logic and Its Applications
  This session will delve into the principles of mathematical logic, emphasizing its applications in various domains of mathematics. Topics will include proof theory, model theory, and the interplay between logic and computation. Aligned SDGs: SDG 4 – Quality Education  |  SDG 7 – Affordable and Clean Energy
• Track 03 – Axiomatic Systems in Mathematics
  Participants will examine the role of axiomatic systems in establishing mathematical truths and their foundational significance. The track will cover various axiomatic approaches and their implications for mathematical consistency. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 04 – Computability and Complexity
  This track focuses on computability theory, exploring the limits of what can be computed and the complexity of mathematical problems. Discussions will include Turing machines, decidability, and the implications for mathematical logic. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 05 – Descriptive Set Theory
  This session will investigate the intricacies of descriptive set theory and its applications in various mathematical contexts. Emphasis will be placed on Borel and analytic sets, as well as their connections to other areas of logic. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 06 – Large Cardinals and Their Implications
  This track will explore the concept of large cardinals and their significance in set theory and beyond. Discussions will include their role in consistency proofs and their impact on the foundations of mathematics. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 07 – Incompleteness and Its Consequences
  Participants will analyze the implications of G?del's incompleteness theorems for mathematical logic and foundational studies. The session will address the philosophical and practical consequences of incompleteness in formal systems. Aligned SDGs: SDG 4 – Quality Education  |  SDG 11 – Sustainable Cities and Communities
• Track 08 – Algebraic Logic: Theory and Applications
  This track will cover the intersection of algebra and logic, focusing on algebraic structures that arise from logical systems. Topics will include lattice theory, Boolean algebras, and their applications in mathematical reasoning. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 09 – Topos Theory and Its Foundations
  This session will explore topos theory as a unifying framework in mathematics, emphasizing its categorical foundations. Discussions will include the relationship between topos theory and set theory, as well as its applications in logic. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 10 – Formal Systems and Proof Theory
  Participants will investigate the nature of formal systems and their role in proof theory. The track will focus on various proof techniques, including natural deduction and sequent calculus, and their implications for mathematical reasoning. Aligned SDGs: SDG 4 – Quality Education  |  SDG 11 – Sustainable Cities and Communities
• Track 11 – Abstract Mathematics and Philosophical Implications
  This track will engage with the philosophical underpinnings of abstract mathematics, exploring how foundational theories shape our understanding of mathematical truth. Discussions will include the implications of various foundational approaches on the philosophy of mathematics. Aligned SDGs: SDG 4 – Quality Education  |  SDG 11 – Sustainable Cities and Communities

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 7
  Affordable and Clean Energy
• SDG 9
  Industry, Innovation and Infrastructure
• SDG 11
  Sustainable Cities and Communities