IGAE Event

Call for Papers

The International Conference on Mathematical Logic and Proof Theory invites researchers, academicians, industry professionals, and practitioners to submit original and high-quality research contributions. The conference aims to provide a global platform for knowledge exchange, innovation, and collaboration across diverse research domains.

This conference focuses on emerging trends, practical challenges, and cutting-edge advancements in areas such as Pure Mathematics encouraging interdisciplinary research and innovative approaches to solving real-world problems.

Authors are invited to submit papers addressing, but not limited to, the following areas:

Foundations of mathematical logic ›

Proof theory and computational complexity ›

Applications of proof theory in mathematics ›

Constructive logic and its implications ›

Ordinal analysis in proof theory ›

Proof-theoretic semantics and applications ›

Non-classical logics in proof theory ›

Proofs and programs: a correspondence ›

Proof theory in automated reasoning ›

Categorical proof theory and its uses ›

Consistency proofs in mathematical logic ›

Proofs of completeness and soundness ›

Applications of proof theory in AI ›

Proof-theoretic approaches to set theory ›

Modal logic and proof theory ›

Proof theory of arithmetic and analysis ›

Proofs in higher-order logics ›

Philosophical implications of proof theory ›

Proof theory and its historical development ›

Connections between proof theory and model theory ›

The conference welcomes theoretical, empirical, and applied research contributions that address real-world challenges and propose innovative solutions. All submitted papers will undergo a rigorous peer-review process to ensure originality, technical quality, and relevance to the conference themes.

Accepted papers will be presented at the conference and considered for publication in reputed journals and conference proceedings.

Conference Registration

Accepted authors must register for the conference to present their work.
Early registration allows you to take advantage of discounted fees.
Check the registration page for more details.

Publication Opportunities

Selected papers will be published in the IGAE Conference Proceedings or other journals affiliated with IGAE. Authors whose papers are accepted for publication will be notified in advance.

Submit Abstract Submit Abstract