Pre-Enrollment

30th August 2026

Final Paper Submission

4th September 2026

Registration Deadline

14th September`2026

Conference Date

29th Sep - 30th Sep 2026

Call for Papers

The International Conference on Mathematical Logic and Proof Theory invites researchers, academicians, industry experts, and practitioners to submit original and high-quality research contributions. This conference serves as a global platform for presenting innovative ideas, exchanging knowledge, and fostering interdisciplinary collaboration.

Focusing on key research areas such as Pure Mathematics, the conference aims to bridge theoretical advancements with real-world applications.

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

01
Foundations Of Mathematical Logic
02
Proof Theory And Computational Complexity
03
Applications Of Proof Theory In Mathematics
04
Constructive Logic And Its Implications
05
Ordinal Analysis In Proof Theory
06
Proof-theoretic Semantics And Applications
07
Non-classical Logics In Proof Theory
08
Proofs And Programs: A Correspondence
09
Proof Theory In Automated Reasoning
10
Categorical Proof Theory And Its Uses
11
Consistency Proofs In Mathematical Logic
12
Proofs Of Completeness And Soundness
13
Applications Of Proof Theory In Ai
14
Proof-theoretic Approaches To Set Theory
15
Modal Logic And Proof Theory
16
Proof Theory Of Arithmetic And Analysis
17
Proofs In Higher-order Logics
18
Philosophical Implications Of Proof Theory
19
Proof Theory And Its Historical Development
20
Connections Between Proof Theory And Model Theory
Conference Registration

To confirm your participation and secure your presentation slot, authors of accepted papers must complete the registration. Early registration is highly recommended to enjoy discounted fees.

Register Now to Confirm Participation
Publication & Submission

Present your findings to a global audience. All accepted papers are eligible for publication in ISER-affiliated journals and conference proceedings, providing you with maximum academic visibility.

Submit Your Paper for Review