Flex Conference (Physical / Digital)

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

13th - 14th January 2027 , Mopti - Mali

Registration Options

Access Flexible Participation Categories

Call For Papers

The (ICMLPT-27) emphasizes interdisciplinary collaboration by bringing together experts from diverse fields. It encourages research that integrates multiple perspectives to address complex global challenges.

Key areas such as Pure Mathematics are explored to promote cross-domain knowledge exchange and collaborative innovation.

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

Assessment

All submissions will undergo peer review to ensure quality and interdisciplinary relevance. Accepted papers will be presented and considered for publication in journals and conference proceedings.

Registration

Registering for the conference provides access to keynote sessions, technical presentations, and networking opportunities with global experts.

Publication

Publishing through the conference enhances the visibility of your research and connects your work with a broader academic audience.