iPRA 2022 – the 4th Workshop on Interpolation:
From Proofs to Applications

About the Workshop Invited Speakers Call for Contributions Important Dates Program Committee Organizers

About the Workshop

iPRA 2022 – the 4th Workshop on Interpolation: From Proofs to Applications is a FLoC 2022 workshop, affiliated with IJCAR 2022. It continues the iPRA workshop series: iPRA 2013 in Saint Petersburg | iPRA 2014 in Vienna | iPRA 2015 in San Francisco.

Starting out from Craig's interpolation theorem for first-order logic, the existence and computation of interpolant formulas 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 interpolation.

The workshop will include invited talks, invited tutorials, and contributed talks. Relevant topics include, but are not limited to:

Invited Speakers

Call for Contributions

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.

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 EasyChair at

The complete call for contributions in text format suitable for posting is available from here.

Important Dates

Extended to May 17, 2022, AOE Submission deadline
June 1, 2022 Author notification
August 11, 2022 Workshop, in the post-FLoC workshop block, August 11–12, 2022

Program Committee

Michael Benedikt University of Oxford, UK
Maria Paola Bonacina Università degli Studi di Verona, Italy
Silvio Ghilardi Università degli Studi di Milano, Italy
Arie Gurfinkel University of Waterloo, Canada
Laura Kovács TU Wien, Austria
Rosalie Iemhoff Utrecht University, The Netherlands
Pavel Pudlák Czech Academy of Sciences, Czech Republic
Philipp Rümmer Uppsala University, Sweden
Georg Weissenbacher TU Wien, Austria
Christoph Wernhard University of Potsdam, Germany
Frank Wolter University of Liverpool, UK

Organizers

Michael Benedikt University of Oxford, UK
Philipp Rümmer Uppsala University, Sweden
Christoph Wernhard University of Potsdam, Germany

Contact: ipra2022@easychair.org