RDP

Program-Transformation.Org: The Program Transformation Wiki
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