RDP 2003 - Federated Conference on Rewriting, Deduction and Programming
by Salvador Lucas
The Federated Conference on Rewriting, Deduction and Programming was held in Valencia, Spain, from 8-14 June 2003. The meeting was organized by the Extensions of Logic Programming group at the Departamento de Sistemas Informáticos y Computación (DSIC) of the Technical University of Valencia. RDP 2003 consisted of the 14th Int'l Conference on Rewriting Techniques and Applications (RTA'03), the 6th Int'l Conference on Typed Lambda Calculi and Applications (TLCA'03), a number of workshops.
During the 12th International Conference on Rewriting Techniques and Applications (RTA 2001) in Utrecht, The Netherlands, in May 2001, the steering committes of RTA and the International Conference on Typed Lambda Calculi and Applications (TLCA) decided to jointly celebrate both conferences (for the first time) in Valencia, Spain, during 2003. A number of other meetings also decided to join the RTA and TLCA conferences to constitute the Federated Conference on Rewriting, Deduction and Programming (RDP 2003). Satellite workshops and meetings included:
- 5th Int'l Workshop on First Order Theorem Proving, FTP'03
- 4th Int'l Workshop on Rule Based Programming, RULE'03
- 16th Int'l Workshop on Unification, UNIF'03
- 12th Int'l Workshop on Functional and (Constraint) Logic Programming, WFLP'03
- 3rd Int'l Workshop on Reduction Strategies in Rewriting and Programming, WRS'03
- 6th Int'l Workshop on Termination, WST'03
- the annual meeting of the International Federation for Information Processing (IFIP) Working Group 1.6 on Term Rewriting.
The scientific program of RDP 2003 included 13 invited talks given by prominent researchers. From the many paper submissions, 141 scientific communications were accepted for presentation at RDP 2003. Among them, 19 correspond to system descriptions. The proceedings of the RTA and TLCA conferences were published by Springer-Verlag in the Lecture Notes in Computer Science (LNCS) series. The proceedings of the workshops were published as Technical Reports of the Departamento de Sistemas Informáticos y Computación. The final proceedings of FTP, RULE, WFLP and WRS workshops are published by Elsevier as part of its Electronic Notes in Theoretical Computer Science (ENTCS) series.
RDP 2003 was hosted by the Departamento de Sistemas Informaticos y Computacion (DSIC) at the the Technical University of Valencia. The conference took place at the ADEIT buildings of the 'Fundació Universitat Empresa de Valencia', a foundation created to promote collaboration between the university and industry. RDP 2003 was organised by the members of the Extensions of Logic Programming (ELP) group at the Universidad Politécnica de Valencia. See the URL below for further details about the members and activities of the group.
The conference received financial support from the European Network of Excellence in Computational Logic (CoLogNet), the European Thematic Network on Applied Semantics (APPSEM II), the Spanish Ministry of Science and Technology (MCYT), the Valencian Agency of Science and Technology (CiT), the Technical University of Valencia (UPV), and the Departamento de Sistemas Informáticos y Computación (DSIC). RDP 2003 was scientifically sponsored by the European Association for Programming Languages and Systems (EAPLS), the European Association for Theoretical Computer Science (EATCS), and ERCIM.
After this first edition of RDP, a second and third have already been proposed. RDP 2004 will be held in Aachen, Germany, from 1-5 June 2004. RDP 2005 will be held in Nara, Japan.
RDP 2003: http://www.dsic.upv.es/~rdp03
RDP 2004: http://www-i2.informatik.rwth-aachen.de/RDP04
ELP group: http://www.dsic.upv.es/users/elp/elp.html
Salvador Lucas, Universidad Politécnica
de Valencia / SpaRCIM