RDP

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)