ICMTAS
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.
ICMTAS
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.
Model Theory
Abstract Structures
Logic
Proof Theory
Set Theory
Category Theory
Homological Algebra
Axiomatic Systems
Algebraic Logic
Universal Algebra
Formal Methods
Descriptive Set Theory
Algebraic Structures
Computability
Foundations of Mathematics
Start Date
Tuesday, July 14, 2026
Registration Deadline
Monday, June 29, 2026
Submission Deadline
Wednesday, June 24, 2026
Semarang, Indonesia