POPL 2017
Sun 15 - Sat 21 January 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.

Accepted Papers

Title

Participation

We invite broad participation from the programming languages and database communities.

Sat 21 Jan

RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor Vianu
RDP-2017148498560000009:00 - 09:15
Talk
RDP-2017148498650000009:15 - 10:00
Talk
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate Foster
RDP-2017148500360000014:00 - 14:45
Talk
RDP-2017148500630000014:45 - 15:30
Talk