SNRI

(ICMLPT - 27) | Hybrid Event
13th - 14th January 2027 | Cordoba, Argentina

For Conference Queries
+91 9344546233 | [email protected]

International Conference on Mathematical Logic and Proof Theory
(ICMLPT - 27)

13th - 14th January 2027 Cordoba, Argentina (Hybrid Event)

Submit Paper for Presentation Listener Registration
Registration Options → Explore all participation categories and choose the option that best suits your conference experience.

Call for Paper

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:

  • 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
Review & Publication

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.

 Ready to Contribute?

Get Started with Registration Start Your Research Journey Here

Categories

Sponsored & Indexed by

International Conferences