Preface: Volume 86, Issue 3

Abstract

This volume contains selected papers presented at the International Workshop on Functional and (Constraint) Logic Programming (WFLP 2003), held in Valencia (Spain) during June 12-13, 2003, at the Federated Conference on Rewriting, Deduction and Programming (RDP 2003). WFLP 2003 is the twelfth in the series of international meetings aimed at bringing together researchers interested in functional programming, (constraint) logic programming, as well as their integration. It promotes the cross-fertilizing exchange of ideas and experiences among researches and students from the different communities interested in the foundations, applications, and combinations of high-level, declarative programming languages and related areas. Previous WFLP editions have been held in Grado (Italy), Kiel (Germany), Benicàssim (Spain), Grenoble (France), Bad Honef (Germany), Schwarzenberg (Germany), Marburg (Germany), Rattenberg (Germany), and Karlsruhe (Germany).The Program Committee of WFLP 2003 selected, from all contributions presented at the workshop (which had been reviewed before the workshop), papers for inclusion into this special issue. The authors of all selected papers prepared revised versions after the workshop which were refereed again in order to ensure a high scientific quality. This volume contains the finally accepted versions based on this review process. In addition to the selected papers, the scientific program included invited lectures by Michael Rusinowitch (LORIA-INRIA-Lorraine, France) and Jan Maluszynski (Linköping University, Sweden).The program committee of WFLP 2003 consisted of María Alpuente(Technical University of Valencia, Spain)Sergio Antoy(Portland State University, USA)Annalisa Bossi(Università Ca' Foscari di Venezia, Italy)Olaf Chitil(University of York, UK)Rachid Echahed(Institut IMAG, France)Sandro Etalle(University of Twente, The Netherlands)Moreno Falaschi(Università di Udine, Italy)Michael Hanus(CAU Kiel, Germany)Yukiyoshi Kameyama(University of Tsukuba, Japan)Herbert Kuchen(University of Muenster, Germany)Michael Leuschel(University of Southampton, UK)Juan José Moreno-Navarro(Universidad Politécnica de Madrid, Spain)Ernesto Pimentel(University of Málaga, Spain)Mario Rodríguez-Artalejo(Universidad Complutense de Madrid, Spain)Germán Vidal(Technical University of Valencia, Spain)Organizing committee: Elvira Albert, Santiago Escobar, César Ferri, José Hernández, Carlos Herrero, Pascual Julián, Marisa Llorens, Ginés Moreno, Javier Oliver, Josep Silva, Germán Vidal, and Alicia VillanuevaAdditional referees: Elvira Albert, Zena Ariola, Demis Ballis, Bernd Brassel, Ricardo Corin, Agostino Dovier, Francisco Durán, Santiago Escobar, José Gallardo, Raffaella Gentilini, Angel Herranz, Teresa Hortalá-González, Zhenjiang Hu, Frank Huch, Pascual Julián, Christoph Lembeck, Pablo López, Salvador Lucas, Massimo Marchiori, Julio Mariño, Yasuhiko Minamide, Angelo Montanari, Ginés Moreno, Roger Müller, Susana Muñoz, Salvatore Orlando, Carla Piazza, Femke van Raamsdonk, María José Ramírez, Guido Sciavicco, Clara Segura, Jan-Georg Smaus, Andrew Tolmach, Alberto Verdejo, and Alicia Villanueva.Sponsoring institutions:Departamento de Sistemas Informáticos y Computación, Universidad Politécnica de Valencia, Generalitat Valenciana, Ministerio de Ciencia y Tecnología, European Association for Theoretical Computer Science, European Association for Programming Languages and Systems, CologNET: A Network of Excellence in Computational Logic, and APPSEM Working Group.I would like to thank the invited speakers for their willingness in accepting our invitation. I would also like to thank all the members of the Program Committee and all the referees for their careful work in the review and selection process. Many sincere thanks to all authors who submitted papers and to all conference participants. I gratefully acknowledge all the institutions and corporations who have supported this workshop. Furthermore, I would like to thank Michael Mislove, Managing Editor of the ENTCS series, for making this special issue possible. Finally, I express my gratitude to all members of the local Organizing Committee whose work has made the workshop possible.November 6, 2003Germán Vidal