Skip to main navigation Skip to search Skip to main content

Topology, Algebra, and Categories in Logic (TACL)

Activity: Academic conferences and events (excluding conference publications) › Keynote presentation or prestigious invited talk

Description

I gave a tutorial on "Proof Theory, Logic, and Algebra".
Period20 Jun 2022 → 24 Jun 2022
Event typeConference
LocationCoimbra, PortugalShow on map
Degree of RecognitionInternational