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: "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" Lunch
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"
break 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" break 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" Lunch 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" break Invited Tutorial (15:30-17:00) Daniel P. Friedman and William E. Byrd: "miniKanren Tutorial" ------------------------------------------------------------------------