Centre for Mathematics, University of Coimbra - TACL 2021-22 Topology, Algebra and Categories in Logic

TACL 2021-22 Topology, Algebra and Categories in Logic



Description:	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). Tentative dates: 20/06/2022 - 24/06/2022. Contributed talks in any topic dealing with the use of algebraic, categorical or topological methods in either logic or computer science are welcome. A summer school associated to the TACL2021-22 conference will be held in Mira (located on the Atlantic coast, 40km northwest of Coimbra), Tentative dates: 13/06/2022 - 18/06/2022, lunchtime.
Place:	University of Coimbra
URL:	http://www.mat.uc.pt/~tacl2022/
Start Date:	2022-06-20
End Date:	2022-06-24
Research Groups:	-Algebra, Logic and Topology
See more:	<Main>