Skip to main navigation Skip to search Skip to main content

4th International Autumn School on Proof Theory (Proof Society)

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

Description

I gave a tutorial on Proof Complexity.
Period7 Nov 2022 → 10 Nov 2022
Event typeWorkshop
LocationUtrecht, NetherlandsShow on map
Degree of RecognitionInternational