*Homepage:* http://www.dsic.upv.es/~rdp03/ Federated Conference on Rewriting, Deduction and Programming (RDP) to be held in Valencia, Spain, in June 2003 Participating events: * 14th International Conference on Rewriting Techniques and Applications ([[RTA]]'03) * 6th International Conference on Typed Lambda Calculi and Applications ([[TLCA]]'03) * 4th International Workshop on First order Theorem Proving ([[FTP]]'03) * IFIP Working Group 1.6 on Term Rewriting (WG 1.6) * 4th International [[Workshop on Rule Based Programming]] ([[RULE]]'03) * 16th International Workshop on Unification ([[UNIF]]'03) * 12th International Workshop on Functional and Logic Programming ([[WFLP]]'03) * 3rd International Workshop on Reduction Strategies in Rewriting and Programming ([[WRS]]'03) * 6th International Workshop on Termination ([[WST]]'03) ----- CategoryConference