2013 - International Workshop on Interpolation: From Proofs to Applications

Craig interpolation enjoys a continuing popularity in the field of verification. Historically, Craig’s interpolation theorem has received ample attention in proof theory and mathematical logic as well as in complexity theory. The aim of the workshop is to bring together theoreticians and practitioners from different fields.
The topics of interest comprise but are not limited to:
Interpolating decision procedures
Proof systems and calculi for interpolation
Proof transformation techniques
Interpolation techniques based on constraint solving, linear programming, …
Interpolation theorems (for theories and extensions, non-classical logic, …)
Interpolation-based invariant generation
Applications of Craig interpolation (verification, synthesis, automated reasoning, …)
Complexity results and limitations
…
We particularly encourage contributions from outside the verification community.