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 6, 2026
End Date
Thursday, May 7, 2026
Registration Deadline
Tuesday, April 21, 2026
Submission Deadline
Thursday, April 16, 2026
Barcelo Cairo Pyramids
229, Al Haram
At Talbeyah Al Qebleyah
El Talbia
Giza Governorate 12111
Egypt
Giza, Egypt
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Zagazig
October-2026
Zagazig
October-2026
Suez
October-2026
Zagazig
October-2026
Egypt
October-2026
Egypt
October-2026
Egypt
October-2026
Egypt
October-2026
© 2026 Academic World Research. All rights reserved.