[ The Types Forum (announcements only), http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
************************************************************ ***************** CALL FOR PARTICIPATION 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 talks: 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 languages 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