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
Thursday, March 19, 2026
End Date
Friday, March 20, 2026
Registration Deadline
Wednesday, March 4, 2026
Submission Deadline
Friday, February 27, 2026
Oru Hotel
Narva maantee 120b,
10127 Tallinn, Estonia
Tallinn, Harjumaa , Estonia
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Tallinn
October-2026
Tallinn
October-2026
Tallinn
October-2026
Tallinn
October-2026
Estonia
October-2026
Estonia
October-2026
Estonia
October-2026
Estonia
October-2026
© 2026 Academic World Research. All rights reserved.