We are pleased to announce the Federated Conference on Rewriting, Deduction and Programming (RDP) to be held in Valencia, Spain, in June 2003.

The conference will be hosted by the Departamento de Sistemas Informáticos y Computación (DSIC) at the Universidad Politécnica de Valencia.

RDP'03 will take place at the ADEIT buildings of the "Fundació Universitat Empresa".

The following conferences, workshops and scientific meetings participate in RDP 2003:

• 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)
• 17th International Workshop on Unification (UNIF'03)
• 12th International Workshop on Functional and (Constraint) Logic Programming (WFLP'03)
• 3rd International Workshop on Reduction Strategies in Rewriting and Programming (WRS'03)
• 6th International Workshop on Termination (WST'03)

Conference announcement (available in tex, postscript and PDF) and poster (click on the image)

APPSEM