ICMLF
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
Start Date
Monday, April 27, 2026
End Date
Tuesday, April 28, 2026
Registration Deadline
Sunday, April 12, 2026
Submission Deadline
Sunday, April 12, 2026
Hotel Eastgate ,
1 Simon Mazorodze, Mutare, Zimbabwe
Mutare, Zimbabwe
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Harare
October-2026
Kariba
October-2026
Mutare
October-2026
Harare
October-2026
Zimbabwe
October-2026
Zimbabwe
October-2026
Zimbabwe
October-2026
Zimbabwe
October-2026
© 2026 Academic World Research. All rights reserved.