POPL 2017
Sun 15 - Sat 21 January 2017
POPL 2017 (series) / RDP 2017 (series) /

RDP 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
Alin Deutsch
Christoph E. Koch
Szymon Toruńczyk
Alvin Cheung
Nate Foster, Victor Vianu, Mooly Sagiv
Adam Chlipala
Frank Neven
Kathleen Fisher
Aws Albarghouthi
Takaaki Tateishi
Nate Foster, Mooly Sagiv, Victor Vianu

Participation

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

Display in different time zone

The program is currently displayed in (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna.
Apply
Close
You're viewing the program in a time zone which is different from your device's time zone - change time zone

Sat 21 Jan
Times are displayed in time zone: (GMT+02:00) Amsterdam, Berlin, Bern, Rome, Stockholm, Vienna change

RDP-2017
09:00 - 10:00: RDP - Session I at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-201709:00 - 09:15
Talk
Nate FosterCornell University, Mooly SagivTel Aviv University, Victor VianuUC San Diego
RDP-201709:15 - 10:00
Talk
Alin Deutsch
RDP-2017
10:30 - 12:00: RDP - Session II at Salle 107, Barre 44-54
Chair(s): Mooly SagivTel Aviv University
RDP-201710:30 - 11:00
Talk
Takaaki TateishiIBM Research - Tokyo
RDP-201711:00 - 11:30
Talk
Adam ChlipalaMIT
RDP-201711:30 - 12:00
Talk
Frank Neven
RDP-2017
14:00 - 15:30: RDP - Session III at Salle 107, Barre 44-54
Chair(s): Nate FosterCornell University
RDP-201714:00 - 14:45
Talk
Aws AlbarghouthiUniversity of Wisconsin - Madison
RDP-201714:45 - 15:30
Talk
Alvin CheungUniversity of Washington
RDP-2017
16:00 - 18:00: RDP - Session IV at Salle 107, Barre 44-54
Chair(s): Victor VianuUC San Diego
RDP-201716:00 - 16:30
Talk
Christoph E. Koch
RDP-201716:30 - 17:00
Talk
Kathleen FisherTufts University
RDP-201717:00 - 17:30
Talk
Szymon Toruńczyk
RDP-201717:30 - 18:00
Talk
Nate FosterCornell University, Victor VianuUC San Diego, Mooly SagivTel Aviv University
Program Committee