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
Tuesday, February 10, 2026
End Date
Wednesday, February 11, 2026
Registration Deadline
Monday, January 26, 2026
Submission Deadline
Monday, January 26, 2026
Perth, Australia
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Melbourne
December-2026
Sydney
December-2026
Sydney
December-2026
Melbourne
December-2026
Australia
October-2026
Australia
October-2026
Australia
October-2026
Australia
October-2026
© 2026 Academic World Research. All rights reserved.