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, July 31, 2026
Registration Deadline
Thursday, July 16, 2026
Submission Deadline
Saturday, July 11, 2026
Abuja, Nigeria