Quantifier problems beyond uniformity

Quantifier Instantiation Beyond E-Matching

Quantifier Elimination for Statistical Problems

Recent improvements on Tarski's procedure for quantifier elimination in the first order theory of real numbers makes it feasible to solve small instances of the following problems completely automatically: 1. listing all equality and inequality constraints implied by a graphical model with hidden variables. 2. Comparing graphical models with hidden variables (i.e., model equivalence, inclusion,...

Solving Geometric Problems with Real Quantifier Elimination

Beyond Quantifier-Free Interpolation in Extensions of Presburger Arithmetic

Craig interpolation has emerged as an effective means of generating candidate program invariants. We present interpolation procedures for the theories of Presburger arithmetic combined with (i) uninterpreted predicates (QPA+UP), (ii) uninterpreted functions (QPA+UF) and (iii) extensional arrays (QPA+AR). We prove that none of these combinations can be effectively interpolated without the use of...

Beyond Uniformity: on School Leadership Policy Development in Europe

The paper draws from the work conducted in the context of the European Policy Network on School Leadership (EPNoSL). Based on an in-depth review of the literature, on research conducted by the EPNoSL partners, on the discourse that took place in on-line seminars and forums and in national workshops and Peer Learning Activities, it identifies critical policy goals for the promotion of school lea...