RDP'03 - Second announcement

28 Jan 2003

      [Apologies for multiple copies of this announcement]

====================================================================
 RDP'03 - Second 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 International Conference on Rewriting Techniques and 
    Applications (RTA'03), June 9-11, 2003

    Important dates: 
       Jan 15, 2003  - Deadline for electronic submission of 
                       title and short abstract 
       Jan 22, 2003  - Deadline for electronic submission of papers 
       Mar 15, 2003  - Notification of acceptance of papers 
       Apr 7, 2003   - Deadline for final versions of accepted papers 

    Program chair: 
      Robert Nieuwenhuis (roberto@lsi.upc.es)

* 6th International Conference on Typed Lambda Calculi and
  Applications (TLCA'03), June 10-12, 2003

    Important dates: 
       Dec 2,  2003  - Deadline for submission of papers 
       Jan 30, 2003  - Notification of acceptance/rejection 
       Mar 15, 2003  - Deadline for final versions of accepted papers 

    Program chair: 
      Martin Hofmann (mhofmann@informatik.uni-muenchen.de) 

* 4th International Workshop on First order Theorem Proving (FTP'03), 
  June 12-14, 2003

  Important dates: 
       Apr 1,  2003  - Deadline for submission of papers 
       Apr 29, 2003  - Notification of acceptance/rejection 
       May 10, 2003  - Deadline for final versions of accepted papers 

  Program co-chairs: 
    Ingo Dahn (dahn@uni-koblenz.de)
    Laurent Vigneron (vigneron@loria.fr)

* IFIP Working Group 1.6 on Term Rewriting (WG 1.6), June 12, 2003

  Program chair: 
    Claude Kirchner (Claude.Kirchner@loria.fr)

* 4th International Workshop on Rule-Based Programming (RULE'03), 
  June 9, 2003

  Program co-chairs: 
    Jean-Louis Giavitto (giavitto@lami.univ-evry.fr)
    Pierre-Etienne Moreau (Pierre-Etienne.Moreau@loria.fr)

* 17th International Workshop on Unification (UNIF'03), June 8-9, 2003

  Organizers: 
    Michael Kohlhase (kohlhase+@cs.cmu.edu)
    Jordi Levy (levy@iiia.csic.es)
    Joachim Niehren (niehren@ps.uni-sb.de)
    Mateu Villaret (villaret@ima.udg.es)

* 12th International Workshop on Functional and (Constraint) Logic 
  Programming (WFLP'03), June 12-13, 2003

  Important dates: 
       Mar 23, 2003  - Deadline for submission of papers 
       Apr 25, 2003  - Notification of acceptance/rejection 
       May 11, 2003  - Deadline for final versions of accepted papers 

  Program chair: 
    German Vidal (gvidal@dsic.upv.es)

* 3rd International Workshop on Reduction Strategies in Rewriting 
  and Programming (WRS'03), June 8, 2003

  Important dates: 
       Mar 23, 2003  - Deadline for submission of papers 
       Apr 25, 2003  - Notification of acceptance/rejection 
       May 11, 2003  - Deadline for final versions of accepted papers 

  Program co-chairs: 
    Bernhard Gramlich (gramlich@logic.at)
    Salvador Lucas (slucas@dsic.upv.es)

* 6th International Workshop on Termination (WST'03), June 13-14, 2003

  Program chair: 
    Albert Rubio (albert@lsi.upc.es)

____________________________________________________________________
RDP'03 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

====================================================================