[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 ====================================================================