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 31B497EE99 for ; Wed, 11 Dec 2013 00:01:21 +0100 (CET) Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of mflatt@cs.utah.edu) identity=pra; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="mflatt@cs.utah.edu"; x-conformance=sidf_compatible Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of mflatt@cs.utah.edu designates 155.98.64.241 as permitted sender) identity=mailfrom; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="mflatt@cs.utah.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail2-smtp-roc.national.inria.fr: domain of postmaster@mail-svr1.cs.utah.edu designates 155.98.64.241 as permitted sender) identity=helo; client-ip=155.98.64.241; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="mflatt@cs.utah.edu"; x-sender="postmaster@mail-svr1.cs.utah.edu"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar8BAACcp1KbYkDxnGdsb2JhbAA/GoM/g1SsbIhmggQOAQEBAQEICwkJFCiCSQYbKkYCBSECDQSIYw02ohiPC4lHhhAXgSmQTzWBEwSJQo5RlV0 X-IPAS-Result: Ar8BAACcp1KbYkDxnGdsb2JhbAA/GoM/g1SsbIhmggQOAQEBAQEICwkJFCiCSQYbKkYCBSECDQSIYw02ohiPC4lHhhAXgSmQTzWBEwSJQo5RlV0 X-IronPort-AV: E=Sophos;i="4.93,867,1378850400"; d="scan'208";a="48164706" Received: from rio.cs.utah.edu (HELO mail-svr1.cs.utah.edu) ([155.98.64.241]) by mail2-smtp-roc.national.inria.fr with ESMTP; 11 Dec 2013 00:01:19 +0100 Received: from localhost (localhost [127.0.0.1]) by mail-svr1.cs.utah.edu (Postfix) with ESMTP id CE734650127 for ; Tue, 10 Dec 2013 16:01:17 -0700 (MST) X-Virus-Scanned: amavisd-new at cs.utah.edu Received: from mail-svr1.cs.utah.edu ([127.0.0.1]) by localhost (mail-svr1.cs.utah.edu [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id 7lsvykneC408 for ; Tue, 10 Dec 2013 16:01:17 -0700 (MST) Received: from localhost (c-24-10-176-108.hsd1.ut.comcast.net [24.10.176.108]) by smtps.cs.utah.edu (Postfix) with ESMTPSA id 711CF65011D for ; Tue, 10 Dec 2013 16:01:17 -0700 (MST) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable From: Matthew Flatt To: caml-list@inria.fr Date: Tue, 10 Dec 2013 16:01:17 -0700 X-Mailer: SirMail under GRacket 6.0.0.1 (x86_64-macosx/3m) X-Uptime: 13 days and 2 hours, using 187,086,508 bytes (s: 5316) Message-Id: <20131210230117.711CF65011D@mail-svr1.cs.utah.edu> Subject: [Caml-list] PADL 2014: Call for Participation CALL FOR PARTICIPATION Sixteenth Symposium on Practical Aspects of Declarative Languages 2014 (PADL'14) http://www.ist.unomaha.edu/padl2014/ San Diego, CA, USA January 20-21, 2014 Co-located with ACM POPL'14 You are cordially invited to the Fifteenth International Symposium on Practical Aspects of Declarative Languages that will be held on January 20-21, 2014 (right before POPL). The conference will present accepted papers spanning a range of topics related to logic and functional programming, including language support for parallelism and GPUs, constructs and techniques for modularity and extensibility, and applications of declarative programming to document processing and DNA simulation. The conference program also includes invited talks by Molham Aref of LogicBlox and David Walker of Princeton, and a tutorial on minKanren by Daniel P. Friedman of Indiana University and William E. Byrd of the University of Utah. Please note that the deadline for early registration is fast approaching (Dec 31). You can register by visiting https://regmaster3.com/2014conf/POPL14/register.php PADL 2014 Program ------------------------------------------------------------------------ Invited Speaker I (9:00-10:00) Molham Aref: "Declarative Programming for the Cloud" break Languages (10:30-12:00) Kc Sivaramakrishnan, Lukasz Ziarek and Suresh Jagannathan:=20 "Rx-CML: A Prescription for Safely Relaxing Synchrony" Thomas Winant, Dominique Devriese, Frank Piessens and Tom Schrijvers:=20 "Partial Type Signatures for Haskell" Tomas Petricek and Don Syme:=20 "The F# Computation Expressions Zoo" Lunch =46rom Models to Implementations (13:30-15:00) Yuliya Lierler and Mirek Truszczynski:=20 "Abstract Modular Inference Systems and Solvers" Andy Gill and Jan Bracker:=20 "Sunroof: A Monadic DSL for Generating JavaScript" Matthew R. Lakin and Andrew Phillips:=20 "Compiling DNA strand displacement reactions using a functional programming language" break Applications (15:30-17:00) Tran Cao Son, Enrico Pontelli and Tiep Le:=20 "Two Applications of the ASP-Prolog System: Decomposable Programs and Multi-context Systems" Ari Saptawijaya and Lu=C3=ADs Moniz Pereira:=20 "Towards Modeling Morality Computationally with Logic Programming" Paul Tarau:=20 "A Declarative Specification of Giant Number Arithmetic" ------------------------------------------------------------------------ Invited Speaker II (9:00-10:00) David Walker: "The Frenetic Project: Declarative Languages for Programming Networks" break Parallelism (10:30-12:00) Robert Clifton-Everest, Trevor L. Mcdonell, Manuel Chakravarty and Gabriele Keller:=20 "Embedding Foreign Code" Federico Campeotto, Alessandro Dal Pal=C3=B9, Agostino Dovier, Ferdinando Fioretto and Enrico Pontelli:=20 "Exploring the Use of GPUs in Constraint Solving" Miguel Areias and Ricardo Rocha:=20 "On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs" Lunch Modularity and Extensibility (13:30-15:00) Martin Elsman and Anders Schack-Nielsen:=20 "Typelets - A Rule-Based Evaluation Model for Dynamic, Statically Typed User Interfaces" Jacco O. G. Krijnen, Doaitse Swierstra and Marcos O. Viera:=20 "Expand: Towards an extendible Pandoc system" Jos=C3=A9 Pedro Magalh=C3=A3es and Andres L=C3=B6h:=20 "Generic Generic Programming" break Invited Tutorial (15:30-17:00) Daniel P. Friedman and William E. Byrd: "miniKanren Tutorial"=20 ------------------------------------------------------------------------