Workshop on Craig Interpolation, Beth Definability, and Quantifier Elimination at FLoC’2026
Jean Christoph Jung is co-organizing a workshop as part of FLoC.
As part of the Federated Logic Conference (FLoC), Jean Christoph Jung, together with Stefan Hetzl (Vienna University of Technology), Renate Schmidt (University of Manchester), and Christoph Wernhard (University of Potsdam), is co-organizing a workshop on Craig interpolation, Beth definability, and quantifier elimination.
The two-day workshop (July 24 & 25, 2026) will feature 6 invited talks and 12 talks based on workshop submissions.