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 8A62A801CD; Mon, 28 Aug 2017 11:27:04 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=wim.vanhoof@unamur.be; spf=Pass smtp.mailfrom=wim.vanhoof@unamur.be; spf=None smtp.helo=postmaster@out2.fundp.ac.be Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of wim.vanhoof@unamur.be) identity=pra; client-ip=138.48.4.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wim.vanhoof@unamur.be"; x-sender="wim.vanhoof@unamur.be"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of wim.vanhoof@unamur.be designates 138.48.4.136 as permitted sender) identity=mailfrom; client-ip=138.48.4.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wim.vanhoof@unamur.be"; x-sender="wim.vanhoof@unamur.be"; 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@out2.fundp.ac.be) identity=helo; client-ip=138.48.4.136; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="wim.vanhoof@unamur.be"; x-sender="postmaster@out2.fundp.ac.be"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A1u6GORJxBH+WZL+WkNmcpTZWNBhigK39O0sv0rFi?= =?us-ascii?q?tYgXIvTxwZ3uMQTl6Ol3ixeRBMOAtKIC1rKempujcFJDyK7JiGoFfp1IWk1Nou?= =?us-ascii?q?QttCtkPvS4D1bmJuXhdS0wEZcKflZk+3amLRodQ56mNBXkiybqtHtKQ12/bFc0?= =?us-ascii?q?dazJHdvtjsH/6em0+5rUbU0cmzu4J617KhWxqgv5q88fhJZ4bKw8nEjnuHxNLt?= =?us-ascii?q?tXwCtWLFSTmBHyrpOv/Zsl7S1Wu/Um+eZdV6z/Yr5+R7EOX2duCHw8+MC+7UqL?= =?us-ascii?q?dgCI/HZJCzgb?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0D/BwBw4aNZfYgEMIpcHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBhBOBAhOeKYFPj2qIcCyJDkMUAQEBAQEBAQEBAQESAQE?= =?us-ascii?q?LFAhXgjMFAwQegl8dLoFPikQQoWqSN4taAQEIAQEBAQEBASGDKoICgU6BYysLh?= =?us-ascii?q?C6GfIIxBZgqiDqCKYUtjHCCElqFDINMhySMS4UchFY2gS5TIWESAYJygh+BeXW?= =?us-ascii?q?IWAIMggEBAQE?= X-IPAS-Result: =?us-ascii?q?A0D/BwBw4aNZfYgEMIpcHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBhBOBAhOeKYFPj2qIcCyJDkMUAQEBAQEBAQEBAQESAQELFAhXgjMFAwQeg?= =?us-ascii?q?l8dLoFPikQQoWqSN4taAQEIAQEBAQEBASGDKoICgU6BYysLhC6GfIIxBZgqiDq?= =?us-ascii?q?CKYUtjHCCElqFDINMhySMS4UchFY2gS5TIWESAYJygh+BeXWIWAIMggEBAQE?= X-IronPort-AV: E=Sophos;i="5.41,441,1498514400"; d="scan'208";a="288557101" Received: from out2.fundp.ac.be ([138.48.4.136]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Aug 2017 11:27:03 +0200 Received: from statler.info.fundp.ac.be (statler.info.fundp.ac.be [138.48.32.164]) (authenticated bits=0) by out2.fundp.ac.be (8.13.1/8.13.1) with ESMTP id v7S9DKXS014318 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Mon, 28 Aug 2017 11:13:20 +0200 From: Wim Vanhoof Content-Type: text/plain; charset=us-ascii Content-Transfer-Encoding: 7bit Mime-Version: 1.0 (Mac OS X Mail 10.3 \(3273\)) Date: Mon, 28 Aug 2017 11:13:27 +0200 Message-Id: <01D63873-5296-420C-851C-D97905E30E03@unamur.be> To: Wim Vanhoof X-Mailer: Apple Mail (2.3273) X-FUNDP-MailScanner-Information: Please contact the ISP for more information X-FUNDP-MailScanner: Found to be clean X-FUNDP-MailScanner-From: wim.vanhoof@unamur.be X-Validation-by: wim.vanhoof@unamur.be Subject: [Caml-list] PPDP and LOPSTR 2017 Call for Participation *********************************************** CALL FOR PARTICIPATION PPDP 2017 19th International Symposium on Principles and Practice of Declarative Programming Namur, Belgium, October 9-11 http://complogic.cs.mcgill.ca/ppdp2017 co-located with LOPSTR 2017 27th International Symposium on Logic-Based Program Synthesis and Transformation Namur, Belgium, October 10-12 https://www.sci.unich.it/lopstr17/ *********************************************** Registration is now open: https://events.info.unamur.be/ppdp-lopstr-2017/ ** Early registration deadline: September 15, 2017 ** INVITED TALKS: Marieke Huisman (Universiteit Twente) A Verification Technique for Deterministic Parallel Programs (joint PPDP/LOPSTR speaker) Sumit Gulwani (Microsoft) Programming by Examples: Applications, Algorithms, and Ambiguity Resolution (joint PPDP/LOPSTR speaker) Serge Abiteboul (INRIA) Ethical issues in data management (PPDP) Grigore Rosu (University of Illinois at Urbana-Champaign) K: A Logic-Based Framework for Program Transformation and Analysis (LOPSTR) Please consult the conferences' webpages for a list of accepted papers. Hope to see you in Namur !