International Conference on Mathematical Logic and Proof Theory | Academic World Research | Academic World Research

Academic World Research

Home Conferences Topics Countries Journals Blog Subscribe Contact Add Event

ConferenceMathematics & StatisticsPure Mathematics

International Conference on Mathematical Logic and Proof Theory

ICMLPT

Mon, May 18, 2026- Tue, May 19, 2026

Lagos, Nigeria

About This Conference

The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet the share cuttingedge development in the field.

Call for Papers

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

Important Dates

Start Date

Monday, May 18, 2026

End Date