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)


Revision: r1.1 - 23 Apr 2002 - 13:40 - EelcoVisser
Copyright © 1999-2020 by the contributing authors. All material on this collaboration platform is the property of the contributing authors.
Ideas, requests, problems regarding TWiki? Send feedback