ConferenceMathematics & StatisticsMathematics
International Conference on Mathematical Logic and Foundations
ICMLF
Tue, Jul 14, 2026
Soweto, South Africa
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.
ConferenceMathematics & StatisticsMathematics
International Conference on Mathematical Logic and Foundations
ICMLF
Tue, Jul 14, 2026
Soweto, South Africa
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
Foundations of Mathematics
Proof Theory
Model Theory
Set Theory
Computability Theory
Recursion Theory
Formal Systems
Automated Reasoning
Algorithms
Logic Programming
Non-Classical Logic
Category Theory
Algebraic Logic
Philosophical Logic
Applications
Research
Important Dates
Start Date
Tuesday, July 14, 2026
Registration Deadline
Monday, June 29, 2026
Submission Deadline
Wednesday, June 24, 2026
Venue
Soweto, Soweto, South Africa