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

18th - 19th May 2026 Lagos, Nigeria (Hybrid Event)

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
  • Mathematical Logic
  • Proof Theory
  • Model Theory
  • Set Theory
  • Axiomatic Systems
  • Formal Systems
  • Incompleteness
  • Consistency
  • Computability
  • Foundations of Mathematics
  • Algebraic Logic
  • Logical Methods
  • Descriptive Set Theory
  • Higher Order Logic
  • Abstract Algebra Connections

Sponsored & Indexed by

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