TACL 2021-22 Topology, Algebra and Categories in Logic
21 junho, 2022
This is the tenth conference in the series Topology, Algebra and Categories in Logic (TACL, formerly TANCL).
Earlier instalments 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).
Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcome.
http://www.mat.uc.pt/~tacl2022/
