[Prev][Next][Index][Thread]

RDP'03 - Call for participation




******************************************************************
******************    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

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