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"
------------------------------------------------------------------------
_______________________________________________
Haskell mailing list
Haskell@haskell.org
http://www.haskell.org/mailman/listinfo/haskell
