HYBRID EVENT: You can participate in person at Curepipe, Mauritius or Virtually from your home or work

  • Home
  • Call For Paper

Call For Papers

The ICMLPT is committed to addressing global challenges through impactful research and sustainable solutions. It brings together researchers dedicated to advancing knowledge for societal benefit.

Focusing on Pure Mathematics, the conference promotes research aligned with global development goals and long-term sustainability.

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

Assessment

All submissions will be reviewed for their contribution to global impact and research quality. Accepted papers will be presented and considered for publication in reputed platforms.

Registration

Join participants from around the world by completing your registration and becoming part of a global research community.

Publication

Accepted papers will gain international exposure through conference presentations and publication opportunities.

Start Your Research Journey Here Get Started with Registration