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
Tuesday, April 7, 2026
End Date
Wednesday, April 8, 2026
Registration Deadline
Monday, March 23, 2026
Submission Deadline
Wednesday, March 18, 2026
Villa Hue ,
4 Tran Quang Khai St, Hue Vietnam, Vietnam
Hue, Vietnam
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Can Tho
October-2026
Da Nang
October-2026
Nha Trang
October-2026
Can Tho
October-2026
Vietnam
October-2026
Vietnam
October-2026
Vietnam
October-2026
Vietnam
October-2026
© 2026 Academic World Research. All rights reserved.