[TYPES/announce] Workshop on Reasoning about Declarative Programs -- Call for Participation

Nate Foster jnfoster at cs.cornell.edu
Thu Dec 15 01:07:24 EST 2016


Workshop on Reasoning about Declarative Programs
Paris, January 21, 2017

The first workshop on Reasoning about Declarative Programs (RDP) will be
held in conjunction with the ACM SIGPLAN Symp. on Principles of Programming
Languages (POPL 2017). It aims to bring together researchers from
programming languages, distributed computing, declarative networking, and
databases, to stimulate cross-fertilization among these areas.

The technical program consists of discussions and the following invited

Aws Albarghouthi    Synthesizing Data-parallel Programs
Alvin Cheung           Cosette: A Solver for SQL Equivalences
Adam Chlipala         Fiat: A New Take on Domain-Specific Languages by
                                Programming with Specifications
Alin Deutsch            Automatic Verification of Database-Centric Workflows
Kathleen Fisher       Programming Language Ideas Escape the Lab:
                                Declarative Data Description Languages for
Managing Ad-hoc Data
Rick Hull                  Verification Challenges in Applications of
Blockchain for
                                Business Collaboration
Christoph Koch        Building performance-sensitive systems in high-level
Frank Neven            Parallel-Correctness and Transferability for
Conjunctive Queries
Szymon Torunczyk   Computation with Atoms

We invite broad participation from the programming languages and database
communities. *Early registration ends on December 17*.

Program Committee

Nate Foster, Cornell University
Mooly Sagiv, Tel Aviv University
Victor Vianu, UC San Diego

For more information see http://conf.researchr.org/track/POPL-2017/RDP-2017
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.seas.upenn.edu/pipermail/types-announce/attachments/20161214/3dd8cc8c/attachment.html>

More information about the Types-announce mailing list