Este site utiliza cookies para lhe proporcionar uma melhor experiência de utilização. Ao navegar aceita a política de cookies.
OK, ACEITO

TACL 2021-22 Topology, Algebra and Categories in Logic

21 junho

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/