Skip to main navigation Skip to search Skip to main content

The Australasian Association for Logic

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

Description

I gave a tutorial on Proof Complexity.
Period9 Nov 2023 → 10 Nov 2023
Event typeConference
LocationBrisbane, AustraliaShow on map
Degree of RecognitionInternational