Skip to main navigation Skip to search Skip to main content

CI-BD-SOQE 2026, the Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination

Activity: Academic conferences and events (excluding conference publications) › Major conference organising role

Period24 Jul 2026 → 25 Jul 2026
Event typeWorkshop
LocationLisbon, PortugalShow on map
Degree of RecognitionInternational