CFP
TACL 2022: Topology, Algebra, and Categories in Logic 2022 University of Coimbra, Department of Mathematics Coimbra, Portugal, June 20-24, 2022 |
Conference website | http://www.mat.uc.pt/~tacl2022 |
Submission link | https://easychair.org/conferences/?conf=tacl2022 |
Abstract registration deadline | March 31, 2022 |
Submission deadline | March 31, 2022 |
This is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Earlier installments of this conference have been organized in Tbilisi (2003), Barcelona (2005), Oxford (2007), Amsterdam (2009), Marseille (2011), Nashville (2013), Ischia (2015), Prague (2017) and Nice (2019).
List of Topics
Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcome.
This includes, but is not limited to, the following areas:
- Algebraic structures in CS
- Algebraic logic
- Categorical methods in logic
- Coalgebra
- Domain theory
- Fuzzy and many-valued logics
- Lattice theory
- Lattices with operators
- Modal logics
- Non-classical logics
- Ordered algebraic structures
- Ordered topological spaces
- Pointfree topology
- Proofs and types
- Residuated structures
- Semantics
- Stone-type dualities
- Substructural logics
- Topological semantics of modal logic
Contact
All questions about submissions should be emailed to Jorge Picado (picado@mat.uc.pt)