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
Courtyard Budapest City Center
Jozsef krt. 5 Budapest
H-1088 Hungary
Budapest, Hungary
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Budapest
December-2026
Budapest
December-2026
Budapest
December-2026
Budapest
December-2026
Hungary
December-2026
Hungary
December-2026
Hungary
December-2026
Hungary
December-2026
© 2026 Academic World Research. All rights reserved.