[Om-announce] iPRA 2022 - 4th Workshop on Interpolation: from Proofs to Applications

geoff at cs.miami.edu geoff at cs.miami.edu
Thu Mar 3 21:19:21 CET 2022



Workshop date:       August 11, 2022
Location:            Haifa, Israel
Web:                 https://ipra-2022.bitbucket.io/

iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022


Submission deadline: May 10, 2022, AOE
Author notification: June 1, 2022
Workshop:            August 11, 2022


Starting from Craig's interpolation theorem for first-order logic, the
existence and computation of interpolants became an active research
area, with applications in different fields, notably in verification,
databases, and knowledge representation. There are challenging
theoretical and practical questions, for model-theoretic as well as
proof-theoretic approaches. The workshop aims at bringing together
researchers working on interpolation and its various applications,
based on different approaches, increasing the awareness of the
automated reasoning community for challenging open problems related to

The workshop will include invited talks, invited tutorials (speakers
to be announced), and contributed talks.

For the contributed talks, we solicit submissions in the form of
abstracts. The authors of accepted abstracts are required to present
their work at the workshop. A book of abstracts will be published
online in advance of the event.

We encourage submissions presenting work in progress, tools under
development, as well as research of PhD students, such that the
workshop can become a forum for active dialog. Presentations of
recently published papers are also allowed and encouraged, but please
indicate on your submission where the paper was published/presented.

Relevant topics include, but are not limited to:

- Applications of interpolation
- Complexity results and limitations
- Definability and interpolation
- Generalizations of Craig interpolation
- Inductive proofs
- Interpolating decision procedures
- Interpolation-based invariant generation
- Interpolation procedures and algorithms
- Logical abduction
- Practical methods for interpolation
- Program analysis and verification
- Proof systems and calculi for interpolation
- Proof transformation techniques
- Relating model theoretic and proof theoretic approaches
- Separability
- Uniform interpolation


Michael Benedikt     (University of Oxford, UK) - co-chair
Maria Paola Bonacina (Universita degli Studi di Verona, Italy)
Silvio Ghilardi      (Universita degli Studi di Milano, Italy)
Arie Gurfinkel       (University of Waterloo, Canada)
Laura Kovacs         (TU Wien, Austria)
Rosalie Iemhoff      (Utrecht University, The Netherlands)
Pavel Pudlak         (Czech Academy of Sciences, Czech Republic)
Philipp Ruemmer      (Uppsala University, Sweden) - co-chair
Georg Weissenbacher  (TU Wien, Austria)
Christoph Wernhard   (University of Potsdam, Germany) - co-chair
Frank Wolter         (University of Liverpool, UK)


Abstracts (at most one page, excluding references) or extended
abstracts (at most 5 pages, excluding references) have to be submitted
by the submission deadline. Submissions should be written in English,
and preferably formatted in the style of the Springer Publications
format for Lecture Notes in Computer Science (LNCS).

Papers should be submitted electronically via


More information about the Om-announce mailing list