About Conferences Colloquium Workshops Practical

RDP 2007

Federated Conference on Rewriting, Deduction, and Programming

Monday, June 25, 2007 to Friday, June 29, 2007

Paper submission

Please consult the pages of the individual conferences and workshops.

Conference Schedule

Monday 25/6 Tuesday 26/6 Wednesday 27/6 Thursday 28/6 Friday 29/6
HOR Rewriting Techniques and Applications RULE
PATE SecReT
WFLP Typed Lambda Calculi and Applications UNIF
WRS WST
Longo Symposium

webmaster at rdp07 dot org