Call For Paper

  1. Home
  2. Call For Paper

Call for Paper

The ICMLPT 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. It encourages forward-thinking research that addresses contemporary challenges while contributing to long-term scientific and technological progress.

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

Peer Review & Publication

The conference welcomes theoretical, empirical, and applied research contributions. All submissions will undergo a rigorous peer-review process by subject matter experts to ensure originality, technical quality, and relevance. Accepted papers will be presented and considered for publication in reputed journals and conference proceedings, providing global visibility to the authors.

Registration

Authors of accepted papers are required to complete the registration process to confirm their participation in the conference. Early registration is recommended to secure presentation slots and access all conference sessions.

Publication

Accepted papers will be considered for publication in reputed journals and conference proceedings, subject to review outcomes and editorial policies.

 Registration

Register Now to Confirm Your Participation

 Submit Abstract

Submit Your Paper for Review