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, March 10, 2026
End Date
Wednesday, March 11, 2026
Registration Deadline
Monday, February 23, 2026
Submission Deadline
Monday, February 23, 2026
Hotel Macdonald
10065 100 St NW,
Edmonton,
AB T5J 0N6,
Canada
Edmonton, Canada
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Toronto
December-2026
Vancouver
December-2026
Montreal
December-2026
Montreal
December-2026
Canada
October-2026
Canada
October-2026
Canada
October-2026
Canada
October-2026
© 2026 Academic World Research. All rights reserved.