All Session Tracks

• Track 01 – Foundations of Model Theory
  This track focuses on the fundamental aspects of model theory, exploring its axiomatic underpinnings and the relationships between different models. Participants are encouraged to present new results and methodologies that advance the understanding of model-theoretic structures. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 02 – Abstract Structures in Logic
  This session aims to investigate various abstract structures that arise in logical frameworks, emphasizing their implications for both classical and non-classical logics. Contributions should highlight innovative approaches to understanding these structures within a broader mathematical context. Aligned SDGs: SDG 4 – Quality Education  |  SDG 7 – Affordable and Clean Energy
• Track 03 – Proof Theory and Its Applications
  This track delves into the intricacies of proof theory, examining its applications in both pure mathematics and theoretical computer science. Researchers are invited to discuss new proof systems, their properties, and their relevance to foundational questions. Aligned SDGs: SDG 9 – Industry, Innovation and Infrastructure  |  SDG 10 – Reduced Inequalities
• Track 04 – Set Theory and Its Foundations
  Focusing on the foundational aspects of set theory, this session will explore its role in mathematics and its interactions with other areas such as logic and category theory. Papers should address both classical results and contemporary developments in the field. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions
• Track 05 – Category Theory in Abstract Mathematics
  This track examines the role of category theory as a unifying framework in abstract mathematics, highlighting its applications across various domains. Participants are encouraged to present novel categorical approaches to traditional mathematical problems. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 06 – Homological Algebra and Its Implications
  This session focuses on homological algebra, exploring its techniques and applications in various mathematical contexts. Contributions should address both theoretical advancements and practical applications of homological methods. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 07 – Axiomatic Systems and Logical Foundations
  This track investigates the development and implications of axiomatic systems in mathematics, emphasizing their foundational role in logic and proof theory. Researchers are invited to present new axiomatic frameworks and their consequences. Aligned SDGs: SDG 4 – Quality Education  |  SDG 16 – Peace, Justice and Strong Institutions
• Track 08 – Algebraic Logic and Its Developments
  This session explores the intersection of algebra and logic, focusing on algebraic approaches to logical systems. Papers should discuss recent advancements in algebraic logic and its applications to model theory. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 09 – Universal Algebra: Concepts and Applications
  This track is dedicated to universal algebra, examining its core concepts and their applications in various mathematical structures. Participants are encouraged to share insights into the unifying aspects of algebraic systems. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 10 – Formal Methods in Mathematics
  This session focuses on the role of formal methods in mathematics, particularly in the context of proof verification and automated reasoning. Contributions should highlight innovative techniques and their implications for mathematical practice. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure
• Track 11 – Descriptive Set Theory: Recent Advances
  This track addresses recent developments in descriptive set theory, exploring its connections with other areas of mathematics. Researchers are invited to present new findings and methodologies that enhance the understanding of descriptive sets. Aligned SDGs: SDG 4 – Quality Education  |  SDG 9 – Industry, Innovation and Infrastructure

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 10
  Reduced Inequalities
• SDG 16
  Peace, Justice and Strong Institutions