(ICMLPT - 26) | Hybrid Event
31st - 1st January 2027 | Jeddah, Saudi Arabia

For Conference Queries
+91 9344546233 | support@snrischolars.com

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

31st - 1st January 2027 Jeddah, Saudi Arabia (Hybrid Event)

Submit Paper for Presentation Listener Registration
Registration Options → Explore all participation categories and choose the option that best suits your conference experience.
Special
Early Bird Voucher
10%OFF
Activate this Scholarly Voucher at checkout to avail this offer and secure a max $30.00 discount on your registration fee.
FAST10
Code Copied!

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
✕

Advancing Research Stability

SNRI maintains uninterrupted academic processes in the current global situation. Participants can engage and publish through online and blended conference formats.

PLEASE READ: CLOSING ENABLED IN 20S