Flex Conference (Physical / Digital)

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

Call for Paper

The ICMLPT provides a supportive platform for both experienced researchers and early-career academicians to present their work and gain recognition. The conference covers diverse topics such as Pure Mathematics encouraging participation from emerging researchers and fostering academic growth.

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

Submissions will be reviewed to ensure quality and relevance, with a focus on encouraging emerging research contributions. Accepted papers will be presented and considered for publication opportunities.

Registration

Early-career researchers are encouraged to register and present their work, gaining valuable feedback and academic exposure.

Publication

The conference provides opportunities for emerging researchers to publish their work in recognized platforms.

Important Dates

Early Bird Registration :31st May 2027

Paper Submission Deadline :5th June 2027

Last Date of Registration : 15th June 2027

Date of Conference : 30th - 1st July 2027