The purpose of the conference is to bring together researchers from logic and universal algebra to foster collaboration and further research.
The featured areas of the conference include, but are not limited to, the following (in alphabetical order):
- Algebraic logic
- Algorithmic problems in algebra
- Applications of universal algebra to logics
- Applications of universal algebra to the constraint satisfaction problem
- Complexity and other algorithmic problems
- Duality theory for algebraic structures
- Lattice theory
- Modal logics
- Non-classical logics
- Ordered algebraic structures
- Ordered sets
- Proof theory
- Residuated structures and substructural logics
- Tame congruence theory and applications
- Topological methods in algebra and logic