Session Tracksหัวข้อหลักของการประชุม

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.

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.