Workshop on Craig interpolation and Beth definability (CIBD)

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