ICMLPT
Mathematical Logic
Proof Theory
Model Theory
Set Theory
Axiomatic Systems
Formal Systems
Incompleteness
Consistency
Computability
Foundations of Mathematics
Algebraic Logic
Logical Methods
Descriptive Set Theory
Higher Order Logic
Abstract Algebra Connections
Start Date
Friday, April 24, 2026
End Date
Saturday, April 25, 2026
Registration Deadline
Thursday, April 9, 2026
Submission Deadline
Saturday, April 4, 2026
Boudl Al Fayha Hotel,Haroon Al Rashid Rd, Al Fayha, Riyadh 14253, Saudi Arabia
Riyadh, Saudi Arabia
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Abha
October-2026
Al Khobar
October-2026
Abha
October-2026
Al Khobar
October-2026
Saudi Arabia
October-2026
Saudi Arabia
October-2026
Saudi Arabia
October-2026
Saudi Arabia
October-2026
© 2026 Academic World Research. All rights reserved.