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.

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.

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.

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.

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.

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.