ICSTLF
Set Theory
Mathematical Logic
Foundations of Mathematics
Model Theory
Proof Theory
Axiomatic Systems
Computability Theory
Descriptive Set Theory
Large Cardinals
Consistency
Incompleteness
Algebraic Logic
Topos Theory
Formal Systems
Logic Applications
Abstract Mathematics
Start Date
Saturday, April 18, 2026
End Date
Sunday, April 19, 2026
Registration Deadline
Friday, April 3, 2026
Submission Deadline
Friday, April 3, 2026
Vasa Hotel Surabaya
Jl. Mayjen HR. Muhammad No.31,
Putat Gede, Suko Manunggal,
Kota SBY, Jawa Timur 60189,
Indonesia
Surabaya, Indonesia
Chicago, United States
December-2026
New York, United States
December-2026
Miami, United States
December-2026
Abu Dhabi, United Arab Emirates
December-2026
Jakarta Raya
December-2026
Jakarta Raya
December-2026
Jakarta Raya
December-2026
Jakarta Raya
December-2026
Indonesia
October-2026
Indonesia
October-2026
Indonesia
October-2026
Indonesia
October-2026
© 2026 Academic World Research. All rights reserved.