CI-BD-SOQE 2026 Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination
| Type | Workshop |
|---|---|
| Title | CI-BD-SOQE 2026 Workshop on Craig Interpolation, Beth Definability, and Second-Order Quantifier Elimination |
| Event date | 24 to end of 25 Jul 2026 |
| Location | Lisbon, Portugal |