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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id AE1C77EE94 for ; Sat, 29 Dec 2012 00:13:18 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of gupta@utdallas.edu) identity=pra; client-ip=129.110.20.108; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="prvs=70246e34a=gupta@utdallas.edu"; x-sender="gupta@utdallas.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of prvs=70246e34a=gupta@utdallas.edu designates 129.110.20.108 as permitted sender) identity=mailfrom; client-ip=129.110.20.108; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="prvs=70246e34a=gupta@utdallas.edu"; x-sender="prvs=70246e34a=gupta@utdallas.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail4-smtp-sop.national.inria.fr: domain of postmaster@ip-002.utdallas.edu designates 129.110.20.108 as permitted sender) identity=helo; client-ip=129.110.20.108; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="prvs=70246e34a=gupta@utdallas.edu"; x-sender="postmaster@ip-002.utdallas.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Al0CAJUl3lCBbhRsgWdsb2JhbAArGg69UxYOAQEWJieCQhsCgX2IJgwslwiXfod0kRoDiGKgKF0 X-IronPort-AV: E=Sophos;i="4.84,372,1355094000"; d="scan'208";a="166980008" Received: from ip-002.utdallas.edu ([129.110.20.108]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 29 Dec 2012 00:13:17 +0100 X-Group: None X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: ApwEANcm3lCBbgog/2dsb2JhbAArGg69aXOCQhsCgX2IJgwslwmXfod0kRoDiGKdcoI2XQ X-IronPort-AV: E=Sophos;i="4.84,372,1355119200"; d="scan'208";a="113095195" Received: from zxtm01.utdallas.edu (HELO babbage.utdallas.edu) ([129.110.10.32]) by ip-002.utdallas.edu with ESMTP/TLS/DHE-RSA-AES256-SHA; 28 Dec 2012 17:13:14 -0600 Date: Fri, 28 Dec 2012 17:13:13 -0600 (CST) From: Gopal Gupta To: Gopal Gupta Message-ID: User-Agent: Alpine 2.00 (LRH 1167 2008-08-23) MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Validation-by: gupta@utdallas.edu Subject: [Caml-list] PADL'13: Final Call for Participation (Early Reg. Deadline: Dec 31) FINAL CALL FOR PARTICIPATION!!! Fifteenth Symposium on Practical Aspects of Declarative Languages 2013 (PADL '13) http://www.it.uu.se/conf/padl2013/ Rome, Italy January 21-22, 2013 Co-located with ACM POPL'13 You are cordially invited to the Fifteenth International Symposium on Practical Aspects of Declarative Languages that will be held on Jan 21-22, 2013 right before ACM POPL. If you are attending ACM POPL, we encourage you to stay for a whole week in Rome and attend PADL as well. Please note that the deadline for early registration is fast approaching (Dec 31). You can register by visiting https://regmaster4.com/2013conf/POPL13/register.php INVITED TALK: o Zipping Trees Across the Border - From Functional Specification to Logic Programming Implementation Tom Schrijvers LIST OF ACCEPTED PAPERS: o Implementing Equational Constraints in a Functional Language B. Brassel, M. Hanus, B. Peem?ller and F. Reck. o Dependently Typed Web Client Applications - FRP in Adga in HTML5 Alan Jeffrey. o The Generalized Intensional Transformation for Implementing Lazy Functional Languages G. Fourtounis, N. Papaspyrou and P. Rondogiannis. o A Library for Declarative Resolution-Independent 2D Graphics Paul Klint and Atze van der Ploeg. o Analysing the Entire Wikipedia History with Database Supported Haskell G. Giorgidze, T. Grust, I. Halatchliyski and M. Kummer. o Formalizing a Broader Recursion Coverage in SQL G. Aranda, S. Nieva, F. Sa?enz-Perez and Jaime Sanchez-Hernandez. o A Declarative Compositional Timing Analysis for Multicores Using the Latency-Rate Abstraction V. Rodrigues, B. Akesson, M. Florido and S. Melo de Sousa. o LogicObjects: Enabling Logic Programming in Java Through Linguistic Symbiosis Sergio Castro, Kim Mens and Paulo Moura. o Supporting Pruning in Tabled LP P. Chico De Guzm?n, M. Carro and M. Hermenegildo. o A Portable and Efficient Implementation of Coinductive Logic Programming Paulo Moura. o A Declarative-friendly API for Web Document Manipulation Benjamin Canou, Emmmanuel Chailloux and Vincent Balat. o On the Efficient Implementation of Mode-Directed Tabling Jo?o Santos and Ricardo Rocha. o Terminyzer: An Automatic Non-Termination Analyzer for Large Logic Programs Senlin Liang and Michael Kifer. o Integrative functional statistics in logic programming N. Angelopoulos, V. Santos Costa, J. Azevedo, J. Wielemaker R. Camacho, and L. Wessels. o Reversible Language Extensions and their Application in Debugging Zo? Drey, Jose F. Morales, Manuel Hermenegildo and Manuel Carro. o ProSQLite: Prolog file based databases via an SQLite interface Sander Canisius, Nicos Angelopoulos, and Lodewyk Wessels. o Parallel Performance of Declarative Programming using a PGAS Model Rui Machado, Salvador Abreu and Daniel Diaz.