News and Events: Conferences

Please note that this newsitem has been archived, and may contain outdated information or links.

11 August 2022, 4th Workshop on Interpolation: From Proofs to Applications (iPRA), Haifa, Israel

Date: Thursday 11 August 2022
Location: Haifa, Israel
Deadline: Tuesday 10 May 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 interpolation.

iPRA 2022 is a workshop at the Federated Logic Conference (FLoC) 2022. 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.

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).

For more information, see

Please note that this newsitem has been archived, and may contain outdated information or links.