11 Aug 2022
Haifa, Israel
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 10, 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 (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 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 -- [LOGIC] mailing list http://www.dvmlg.de/mailingliste.html Archive: http://www.illc.uva.nl/LogicList/ provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam