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, May 19, 2026
End Date
Wednesday, May 20, 2026
Registration Deadline
Monday, May 4, 2026
Submission Deadline
Wednesday, April 29, 2026
Sheraton Miyako Hotel Tokyo
1 Chome-1-50 Shirokanedai,
Minato City, Tokyo 108-8640
Japan
Tokyo, Japan
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Tokyo
December-2026
Tokyo
December-2026
Tokyo
December-2026
Tokyo
December-2026
Japan
December-2026
Japan
December-2026
Japan
December-2026
Japan
December-2026
© 2026 Academic World Research. All rights reserved.