RDP 2011 | Federated Conference on Rewriting, Deduction and Programming

About

Conferences

Workshops

Practical

RDP 2011 Federated Conference on Rewriting, Deduction, and Programming

Sunday, May 29, 2011 to Friday, June 3, 2011
Novi Sad, Serbia

RDP'11 is the sixth edition of the International Conference on Rewriting, Deduction, and Programming, consisting of two main conferences

and related events.

Invited Speakers:

Sophie Tison (Univ. Lille and LIFL, France)
Ashish Tiwari (SRI, United States)
Stephanie Weirich (University of Pennsylvania, United States)
Alexandre Miquel (Universite Paris VII)
Vladimir Voevodsky (Institute of Advanced Study)
Stephanie Weirich (University of Pennsylvania)

Workshops:

Previous editions of RDP took place in

poster