[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:
"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"

------------------------------------------------------------------------


--
Caml-list mailing list. Subscription management and archives:
https://sympa.inria.fr/sympa/arc/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs