RDP 2017
Wed 18 - Fri 20 January 2017
co-located with POPL 2017
All Editions
Wed 18 - Fri 20 January 2017

RDP 2017 with POPL 2017

The workshop on Reasoning about Declarative Programs (RDP) will bring together researchers from programming languages, distributed computing, declarative networking, and databases, to discuss techniques and stimulate cross-fertilization among these areas. The technical program will consist of invited talks and discussions. We will post talk abstracts on the workshop website but do not plan to have formal proceedings.