[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 ([EMAIL PROTECTED]) * 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 ([EMAIL PROTECTED]) * 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 ([EMAIL PROTECTED]) Laurent Vigneron ([EMAIL PROTECTED]) * IFIP Working Group 1.6 on Term Rewriting (WG 1.6), June 12, 2003 Program chair: Claude Kirchner ([EMAIL PROTECTED]) * 4th International Workshop on Rule-Based Programming (RULE'03), June 9, 2003 Program co-chairs: Jean-Louis Giavitto ([EMAIL PROTECTED]) Pierre-Etienne Moreau ([EMAIL PROTECTED]) * 17th International Workshop on Unification (UNIF'03), June 8-9, 2003 Organizers: Michael Kohlhase ([EMAIL PROTECTED]) Jordi Levy ([EMAIL PROTECTED]) Joachim Niehren ([EMAIL PROTECTED]) Mateu Villaret ([EMAIL PROTECTED]) * 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 ([EMAIL PROTECTED]) * 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 ([EMAIL PROTECTED]) Salvador Lucas ([EMAIL PROTECTED]) * 6th International Workshop on Termination (WST'03), June 13-14, 2003 Program chair: Albert Rubio ([EMAIL PROTECTED]) ____________________________________________________________________ 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: [EMAIL PROTECTED] 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 ==================================================================== _______________________________________________ Haskell mailing list [EMAIL PROTECTED] http://www.haskell.org/mailman/listinfo/haskell
