From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 9A3AF80070 for ; Mon, 5 Dec 2016 11:02:18 +0100 (CET) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=peter.schuller@marmara.edu.tr; spf=Pass smtp.mailfrom=peter.schuller@marmara.edu.tr; spf=None smtp.helo=postmaster@mx.marmara.edu.tr Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of peter.schuller@marmara.edu.tr) identity=pra; client-ip=193.140.143.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of peter.schuller@marmara.edu.tr designates 193.140.143.18 as permitted sender) identity=mailfrom; client-ip=193.140.143.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="peter.schuller@marmara.edu.tr"; 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@mx.marmara.edu.tr) identity=helo; client-ip=193.140.143.18; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="peter.schuller@marmara.edu.tr"; x-sender="postmaster@mx.marmara.edu.tr"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AjUDI0hc5Sl1hembPjLbaK/UulGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc66Yx7h7PlgxGXEQZ/co6odzbGH6Oa8CSdYuN7B6ClEK8McEUddyI?= =?us-ascii?q?0/pE8JPo2sMQXDNvnkbig3ToxpdWRO2DWFC3VTA9v0fFbIo3e/vnY4ExT7Mhdp?= =?us-ascii?q?dKyuQtaBx8G2zPuz/ZKbXyIAijuwZb86bE7u7Fbnm9MMhpEnB6A6zRfIpHQAO7?= =?us-ascii?q?8OhDAgC0iUmkO23sqs8YQryC9QECYl88NaG+2uZ6kkQKYeFz8mLmQx6dfDsBDZ?= =?us-ascii?q?SAKV7z0RXnhQjgAeUFuN1w3zQpqk6niyjeF6wiTPY5X7?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0B9AQDQOUVYlxKPjMFdGwEBFgEBBgEEA?= =?us-ascii?q?QEFAQEWAQEFAQEFAYJ6AQEBAQF5eg2kHwSDCwGJTYZBhBcBKIJDg16CCEIRAQE?= =?us-ascii?q?BAQEBAQEBAQESAQEBAQEIFgdNgjMEAQUHAgyCDiwhL0gaFgQdhjaDAQqcJpIkH?= =?us-ascii?q?Q0Ch1MGg1yMVoJdEQGCaAs+HIIwBY94im4BgUmFAYMQhy+Bf1CCSoFjgzmGFZI?= =?us-ascii?q?PNYECgRuCJwELUwQjgUiHOlKBXAEBBQ?= X-IPAS-Result: =?us-ascii?q?A0B9AQDQOUVYlxKPjMFdGwEBFgEBBgEEAQEFAQEWAQEFAQE?= =?us-ascii?q?FAYJ6AQEBAQF5eg2kHwSDCwGJTYZBhBcBKIJDg16CCEIRAQEBAQEBAQEBAQESA?= =?us-ascii?q?QEBAQEIFgdNgjMEAQUHAgyCDiwhL0gaFgQdhjaDAQqcJpIkHQ0Ch1MGg1yMVoJ?= =?us-ascii?q?dEQGCaAs+HIIwBY94im4BgUmFAYMQhy+Bf1CCSoFjgzmGFZIPNYECgRuCJwELU?= =?us-ascii?q?wQjgUiHOlKBXAEBBQ?= X-IronPort-AV: E=Sophos;i="5.33,747,1477954800"; d="scan'208";a="248095061" Received: from mx.marmara.edu.tr ([193.140.143.18]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 05 Dec 2016 11:02:15 +0100 Received: (korumail 53528 invoked by uid 0); 5 Dec 2016 10:02:11 -0000 Received: from unknown (HELO posta.marmara.edu.tr) () by 0 with ESMTPS (DHE-RSA-AES256-GCM-SHA384 encrypted); 5 Dec 2016 10:02:11 -0000 Received: (qmail 4602 invoked from network); 5 Dec 2016 13:02:01 +0300 Received: from unknown (HELO omsievews) (peter.schuller@[193.255.160.219]) (envelope-sender ) by posta.marmara.edu.tr (qmail-ldap-1.03) with AES256-GCM-SHA384 encrypted SMTP for ; 5 Dec 2016 13:02:01 +0300 Received: by omsievews (Postfix, from userid 1000) id D31D02C0348; Mon, 5 Dec 2016 13:02:10 +0300 (+03) From: "Peter Schüller" Message-Id: <20161205100210.D31D02C0348@omsievews> Date: Mon, 5 Dec 2016 13:02:10 +0300 (+03) X-Validation-by: peter.schuller@marmara.edu.tr Subject: [Caml-list] Call for Participation: Practical Aspects of Declarative Languages (PADL) Paris, France, January 16/17, 2017 Practical Aspects of Declarative Languages (PADL 2017) 16th and 17th January 2017 Paris, France Co-located with 44th ACM SIGPLAN Symposium on Principles of Programming Languages (POPL 2017) http://popl17.sigplan.org/track/PADL-2017 Program The 16th of January: 8:50- 9 Opening Remarks 9-10 Invited Talk by Gopal Gupta. Developing Large-scale Knowledge-based Systems with Predicate Answer Set Programming 10 -10:30 Coffee Break 10:30-12 Answer Set Programming Joost Vennekens. Lowering the learning curve for declarative programming: a Python API for the IDP system Christoph Redl. Extending Answer Set Programs with Interpreted Functions as First-class Citizens Jakob Rath and Christoph Redl. Integrating Answer Set Programming with Object-oriented Languages 12-14 Lunch 14-15:30 Testing and Games: Jonathan Fowler and Graham Hutton. Failing Faster: Overlapping Patterns for Property-Based Testing Maciej Bendkowski, Katarzyna Grygiel and Paul Tarau. Boltzmann Samplers for Closed Simply-Typed Lambda Terms (Best Student Paper Award) Paulo Oliva, Jules Hedges, Viktor Winschel, Philipp Zahn and Evguenia Shprits. Selection Equilibria of Higher-Order Games 15:30 -16 Coffee Break 16-17:30 Applications I and Inference Geoffrey Mainland. A Domain-Specific Language for Software-Defined Radio Felix Klock. A Declarative DSL for Customized Rendering of Text-Based Art Theofrastos Mantadelis and Ricardo Rocha. Using Iterative Deepening for Probabilistic Logic Inference The 17th of January: 9-10 Applications II Henrik Nilsson and Guerric Chupin. Funky Grooves: Declarative Programming of Full-Fledged Musical Applications Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone. DALI for Cognitive Robotics: Principles and Prototype Implementation 10 -10:30 Coffee Break 10:30-12 Programming languages Sergio Antoy and Michael Hanus. Eliminating Irrelevant Non-determinism in Functional Logic Programs Neng-Fa Zhou and Jonathan Fruhman. Canonicalizing High-Level Constructs in Picat (Most Practical Paper Award) Besik Dundua, Temur Kutsia and Klaus Reisenberger-Hagmayer. An Overview of PrhoLog 12 Closing Remarks (Apologies if you receive multiple copies of this email. Please distribute to interested parties.)