RDP'03 - First announcement

Salvador Lucas Alba slucas@dsic.upv.es
Tue, 23 Apr 2002 15:41:56 +0100


           [Apologies for multiple copies of this announcement]

**************************************************************************
*************************  First announcement  ***************************
**************************************************************************

    Federated Conference on Rewriting, Deduction and Programming (RDP)

                    http://www.dsic.upv.es/~rdp03

                 Valencia, Spain, June 8 - 14, 2003

--------------------------------------------------------------------------

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 Informaticos
y Computacion (DSIC) at the Universidad Politecnica de Valencia.


PARTICIPANTS

   14th Int. Conference on Rewriting Techniques and Applications, RTA'03
   6th  Int. Conference on Typed Lambda Calculi and Applications, TLCA'03
   4th  Int. Workshop on First Order Theorem Proving, FTP'03
   IFIP Working Group 1.6 on Term Rewriting
   4th  Int. Workshop on Rule Based Programming, RULE'03
   16th Int. Workshop on Unification, UNIF'03
   12th Int. Workshop on Functional and (Constraint) Logic Prog., WFLP'03
   3rd  Int. Workshop on Red. Strat. in Rewriting and Programming, WRS'03
   6th  Int. Workshop on Termination, WST'03


DATES

  RDP    : June  8 - 14, 2003

  RTA'03 : June  9 - 11
  TLCA'03: June 10 - 12
  FTP'03 : June 12 - 14
  WG 1.6 : June 12
  RULE'03: June  9
  UNIF'03: June  8 - 9
  WFLP'03: June 12 - 13
  WRS'03 : June  8
  WST'03 : June 13 - 14


ORGANIZERS

  The ELP group at the Universidad Politecnica de Valencia

  Officials:

  Salvador Lucas     (chair of the organizing committee)
  Elvira Albert      (secretary)
  Maria Alpuente     (workshops chair)
  Jose Hernandez     (local arrangements)
  Javier Oliver      (secretary)
  Maria Jose Ramirez (local arrangements chair)
  German Vidal       (publicity chair)


CONTACT

  Salvador Lucas

  Departamento de Sistemas Informaticos y Computacion (DSIC)
  Universidad Politecnica de Valencia
  Camino de Vera, s/n
  E-46022 Valencia (Spain)
  phone: + 34 96 387 7353 (73531)
  fax:   + 34 96 387 7359
  e-mail: slucas@dsic.upv.es
  URL: http://www.dsic.upv.es/users/elp/slucas.html


FURTHER INFORMATION

  RDP website:         http://www.dsic.upv.es/~rdp03
  The ELP group:       http://www.dsic.upv.es/users/elp/elp.html

**************************************************************************