iPRA 2022 - FOURTH WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS

CALL FOR CONTRIBUTIONS

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

IMPORTANT DATES

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

SCOPE

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.

The workshop will include invited talks, invited tutorials, 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

INVITED SPEAKERS

Bahareh Afshari      (University of Gothenburg, Sweden)
Alessandro Gianola   (Free University of Bozen-Bolzano, Italy)
H. Jerome Keisler    (University of Wisconsin, United States)
Ken McMillan         (The University of Texas at Austin, United States)

PROGRAMME COMMITTEE

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)

SUBMISSION INSTRUCTIONS

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

https://easychair.org/conferences/?conf=ipra2022