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
| 10:30 - 11:00 Talk | Takaaki TateishiIBM Research - Tokyo | |||||||||||||||||||||||||||||||||||||||||
| 11:00 - 11:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 11:30 - 12:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 14:00 - 14:45 Talk | Aws AlbarghouthiUniversity of Wisconsin - Madison | |||||||||||||||||||||||||||||||||||||||||
| 14:45 - 15:30 Talk | Alvin CheungUniversity of Washington | |||||||||||||||||||||||||||||||||||||||||
| 16:00 - 16:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 16:30 - 17:00 Talk | Kathleen FisherTufts University | |||||||||||||||||||||||||||||||||||||||||
| 17:00 - 17:30 Talk | ||||||||||||||||||||||||||||||||||||||||||
| 17:30 - 18:00 Talk | ||||||||||||||||||||||||||||||||||||||||||
