Starting from Craig's interpolation theorem for first-order logic, the existence and computation of interpola nts became an active research area, with applicati ons 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 app roaches. The workshop aims at bringing together re searchers working on interpolation and its various applications, based on different approaches, incr easing the awareness of the automated reasoning co mmunity for challenging open problems related to i nterpolation.
\niPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022. The w orkshop will include invited talks, invited tutori als (speakers to be announced), and contributed ta lks.
\nFor the contributed ta lks, we solicit submissions in the form of abstrac ts. 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 t he event. We encourage submissions presenting work in progress, tools under development, as well as research of PhD students, such that the workshop c an become a forum for active dialog. Presentations of recently published papers are also allowed and encouraged, but please indicate on your submissio n where the paper was published/presented.
\nAbstracts (at most one page, excluding referenc es) or extended abstracts (at most 5 pages, exclud ing references) have to be submitted by the submis sion deadline. Submissions should be written in En glish, and preferably formatted in the style of th e Springer Publications format for Lecture Notes i n Computer Science (LNCS).
\n