From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id B28657EEE0 for ; Thu, 5 Mar 2015 19:15:32 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of geoff@cs.miami.edu) identity=pra; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of geoff@cs.miami.edu designates 192.31.89.6 as permitted sender) identity=mailfrom; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="geoff@cs.miami.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mcclellan.cs.miami.edu) identity=helo; client-ip=192.31.89.6; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="geoff@cs.miami.edu"; x-sender="postmaster@mcclellan.cs.miami.edu"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0A+AQDCnPhUlwZZH8Bag1iyRgGNF4IsCod5AQEBAQEBEAEBAQEBCBYHQoQzISpADTAEHViIGw2uEqVAhG0sjy11ghcMQR2BFAWEOoYriQWDb4F6gRs5gm2JIYJMg0KELyCBM4FBAQEB X-IPAS-Result: A0A+AQDCnPhUlwZZH8Bag1iyRgGNF4IsCod5AQEBAQEBEAEBAQEBCBYHQoQzISpADTAEHViIGw2uEqVAhG0sjy11ghcMQR2BFAWEOoYriQWDb4F6gRs5gm2JIYJMg0KELyCBM4FBAQEB X-IronPort-AV: E=Sophos;i="5.11,348,1422918000"; d="scan'208";a="124590759" Received: from mcclellan.cs.miami.edu ([192.31.89.6]) by mail2-smtp-roc.national.inria.fr with SMTP; 05 Mar 2015 19:15:31 +0100 Received: by mcclellan.cs.miami.edu (Postfix, from userid 501) id 7E7FE1214FC; Thu, 5 Mar 2015 13:15:31 -0500 (EST) To: caml-list@inria.fr Message-Id: <20150305181531.7E7FE1214FC@mcclellan.cs.miami.edu> Date: Thu, 5 Mar 2015 13:15:31 -0500 (EST) From: geoff@cs.miami.edu (Geoff Sutcliffe) X-Validation-by: geoff@cs.miami.edu Subject: [Caml-list] 3rd Workshop on Interpolation - Call for Papers iPRA 2015 - THIRD WORKSHOP ON INTERPOLATION: FROM PROOFS TO APPLICATIONS CALL FOR CONTRIBUTIONS Date: July 18, 2015 Location: San Francisco, CA (co-located with CAV 2015) Web: http://forsyte.at/interpolation/ IMPORTANT DATES Submission deadline: May 7, 2015, AOE Notification: May 14, 2015 Workshop: July 18, 2015 ORGANISATION AND COMMITTEE Laura Kovacs and Georg Weissenbacher SCOPE Craig interpolation enjoys a continuing popularity in the field of verification. Historically, Craig's interpolation theorem has received ample attention in proof theory and mathematical logic as well as in complexity theory. The aim of the workshop is to bring together theoreticians and practitioners from different fields. We solicit submissions in form of an abstract of at most one page in PDF format. The authors of accepted abstracts are required to present their work at the workshop. There will be no published proceedings. 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 between the groups involved in applications of interpolation. We also encourage contributions from outside the verification community. 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 in: - Interpolating decision procedures - Proof theoretic approaches to interpolation - Proof systems and calculi for interpolation - Proof transformation techniques - Inductive Proofs - Logical Abduction - Interpolation techniques based on constraint solving, linear programming... - Alternative techniques for interpolation - Interpolation theorems (for theories and extensions, non-classical logic, ...) - Interpolation-based/Inductive invariant generation - Program analysis and verification - Tools for interpolation - Applications of Craig interpolation (verification, synthesis, automated reasoning, ...) - Complexity results and limitations ... SUBMISSION INSTRUCTIONS Abstracts (at most one page in PDF format) have to be submitted until May 7 via the EasyChair system: https://easychair.org/conferences/?conf=ipra15 The authors will be notified on May 14, 2015. There will be no formal workshop proceedings. FORMAT The workshop will feature - an invited talk by Arie Gurfinkel (SEI/CMU), - presentations (selected by a committee based on the submission of abstracts) by workshop participants, and - discussion and panel sessions. The program will be coordinated with the HCVS workshop, which takes place on July 19. REGISTRATION Registration for the workshop will be possible via the CAV registration site: http://i-cav.org/2015/ POSTER A poster is available on http://forsyte.at/interpolation. We kindly ask you to print and display a copy in your department/workplace.