ICSTLF
The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet the share cuttingedge development in the field.
ICSTLF
The aim of the Conference is to provide a platform to the researchers and practitioners from both academia as well as industry to meet the share cuttingedge development in the field.
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
Friday, December 18, 2026
Registration Deadline
Thursday, December 3, 2026
Submission Deadline
Saturday, November 28, 2026
Los Angeles, California, United States
