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
Wednesday, May 13, 2026
End Date
Thursday, May 14, 2026
Registration Deadline
Tuesday, April 28, 2026
Submission Deadline
Thursday, April 23, 2026
Clarion Hotel Post
Drottningtorget 10,
411 03 Göteborg,
Sweden
Gothenburg, Sweden
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Gothenburg
October-2026
Gothenburg
October-2026
Gothenburg
October-2026
Gothenburg
October-2026
Sweden
October-2026
Sweden
October-2026
Sweden
October-2026
Sweden
October-2026
© 2026 Academic World Research. All rights reserved.