From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/2248 Path: news.gmane.org!not-for-mail From: Salvador Lucas Newsgroups: gmane.science.mathematics.categories Subject: RDP'03 - Call for participation Date: Thu, 24 Apr 2003 15:10:36 +0100 Organization: ELP Message-ID: <3EA7F033.3D207BE3@dsic.upv.es> Reply-To: slucas@dsic.upv.es NNTP-Posting-Host: main.gmane.org Mime-Version: 1.0 Content-Type: text/plain; charset=us-ascii; x-mac-type="54455854"; x-mac-creator="4D4F5353" Content-Transfer-Encoding: 7bit X-Trace: ger.gmane.org 1241018524 3236 80.91.229.2 (29 Apr 2009 15:22:04 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Wed, 29 Apr 2009 15:22:04 +0000 (UTC) To: categories@mta.ca Original-X-From: rrosebru@mta.ca Thu Apr 24 16:22:57 2003 -0300 Return-path: Envelope-to: categories-list@mta.ca Delivery-date: Thu, 24 Apr 2003 16:22:57 -0300 Original-Received: from Majordom by mailserv.mta.ca with local (Exim 4.10) id 198mFK-0007Kj-00 for categories-list@mta.ca; Thu, 24 Apr 2003 16:19:02 -0300 Original-Sender: cat-dist@mta.ca Precedence: bulk X-Keywords: X-UID: 17 Original-Lines: 119 Xref: news.gmane.org gmane.science.mathematics.categories:2248 Archived-At: [Apologies for multiple copies of this announcement] ****************************************************************** ****************** Call for participation ****************** ****************************************************************** Federated Conference on Rewriting, Deduction and Programming (RDP) including RTA - TLCA - FTP - IFIP WG 1.6 - RULE - UNIF - WFLP - WRS - WST http://www.dsic.upv.es/~rdp03 Valencia, Spain, June 8 - 14, 2003 ------------------------------------------------------------------ We are pleased to announce that the registration and hotel reservation procedures for attending RDP 2003 are open now. Please, follow this link http://www.dsic.upv.es/~rdp03/org/registration_info.html to formalize your registration. A number of rooms have been booked in various hotels near the Conference venue. Please remember that the number of rooms is limited. Requests will be processed on a first come first served basis and will be subject to space availability. Please, follow this link http://www.dsic.upv.es/~rdp03/org/hotel_info.html to eventually formalize your accomodation in one of such hotels. IMPORTANT: The deadline for early registration/accomodation is M a y 1 5, 2 0 0 3 RDP 2003 will take place at the ADEIT building of the "Fundacio Universitat Empresa de Valencia": Plaza Virgen de la Paz, 3 E-46001 Valencia Spain Please, look at the conference WWW site for further travelling information (available soon). The conference will be hosted by the Departamento de Sistemas Informaticos y Computacion (DSIC) at the Universidad Politecnica de Valencia. PARTICIPANTS 14th Int. Conf. on Rewriting Techniques and Applications, RTA'03 6th Int. Conf. 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 17th 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) 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 ******************************************************************