"Proof Representations: From Theory to Applications"

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