[TYPES/announce] PADL 2014: Call for Participation

Matthew Flatt mflatt at cs.utah.edu
Tue Dec 10 17:56:47 EST 2013

                        CALL FOR PARTICIPATION

                        Sixteenth Symposium on
             Practical Aspects of Declarative Languages 2014


                           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


PADL 2014 Program

Invited Speaker I (9:00-10:00)
  Molham Aref: "Declarative Programming for the Cloud"


Languages (10:30-12:00)
  Kc Sivaramakrishnan, Lukasz Ziarek and Suresh Jagannathan: 
    "Rx-CML: A Prescription for Safely Relaxing Synchrony"
  Thomas Winant, Dominique Devriese, Frank Piessens and Tom Schrijvers: 
    "Partial Type Signatures for Haskell"
  Tomas Petricek and Don Syme: 
    "The F# Computation Expressions Zoo"


>From Models to Implementations (13:30-15:00)
  Yuliya Lierler and Mirek Truszczynski: 
    "Abstract Modular Inference Systems and Solvers"
  Andy Gill and Jan Bracker: 
    "Sunroof: A Monadic DSL for Generating JavaScript"
  Matthew R. Lakin and Andrew Phillips: 
    "Compiling DNA strand displacement reactions using a functional
     programming language"


Applications (15:30-17:00)
  Tran Cao Son, Enrico Pontelli and Tiep Le: 
    "Two Applications of the ASP-Prolog System: Decomposable Programs
     and Multi-context Systems"
  Ari Saptawijaya and Luís Moniz Pereira: 
    "Towards Modeling Morality Computationally with Logic Programming"
  Paul Tarau: 
    "A Declarative Specification of Giant Number Arithmetic"


Invited Speaker II (9:00-10:00)
  David Walker: "The Frenetic Project: Declarative Languages for
                 Programming Networks"


Parallelism (10:30-12:00)
  Robert Clifton-Everest, Trevor L. Mcdonell, Manuel Chakravarty
  and Gabriele Keller: 
    "Embedding Foreign Code"
  Federico Campeotto, Alessandro Dal Palù, Agostino Dovier, Ferdinando
  Fioretto and Enrico Pontelli: 
    "Exploring the Use of GPUs in Constraint Solving"
  Miguel Areias and Ricardo Rocha: 
    "On the Correctness and Efficiency of Lock-Free Expandable Tries
     for Tabled Logic Programs"


Modularity and Extensibility (13:30-15:00)
  Martin Elsman and Anders Schack-Nielsen: 
    "Typelets - A Rule-Based Evaluation Model for Dynamic, Statically
     Typed User Interfaces"
  Jacco O. G. Krijnen, Doaitse Swierstra and Marcos O. Viera: 
    "Expand: Towards an extendible Pandoc system"
  José Pedro Magalhães and Andres Löh: 
    "Generic Generic Programming"


Invited Tutorial (15:30-17:00)
  Daniel P. Friedman and William E. Byrd: "miniKanren Tutorial" 


More information about the Types-announce mailing list