9th International Workshop on
Functional and Logic Programming


Benicassim, Spain
September 28-30, 2000

WFLP'2000 is the 9th of a series of international meetings aimed at bringing researchers and students together to communicate and discuss recent developments, work in progress, preliminary results, and new research directions in functional programming, logic programming, as well as their integration.

Previous WFLP editions: WFLP'99 (Grenoble, France), WFLP'98 (Bad Honnef, Germany), WFLP'97 (Schwarzenberg, Germany), WFLP'96 (Marburg, Germany), WFLP'95 (Schwarzenberg, Germany), WFLP'94 (Schwarzenberg, Germany), WFLP'93 (Rattenberg, Germany), and WFLP'92 (Karlsruhe, Germany).

Call for Attendance and Registration Form

On-line Proceedings      NEW!!

Trains: Timetable and Prices      NEW!!


The topics of interest include (but are not limited to):


Authors are invited to submit a 3-page position paper or abstract in postscript format (11pt) via email to


before May 12, 2000. Submissions should include the title, authors' names, affiliations, addresses, and e-mail. Full versions of accepted contributions (not to exceed 15 pages) will be required by June 30, 2000. Proceedings will be published as:

Technical University of Valencia, publication 2000/2039
UPV University Press, Valencia, Sep. 2000
Available from http://www.dsic.upv.es/~wflp2000


The workshop will be a 3-day event that provides a forum for individual presentations of the accepted contributions as well as group discussions. The technical program will include presentations of the accepted papers as well as lectures of the following invited speakers:

Peter A. Flach (Bristol)
Laurent Fribourg (ENS Cachan)
Alan Mycroft (Cambridge)


WFLP'2000 is hosted by the Departamento de Sistemas Informáticos y Computación of the Technical University of Valencia, Spain. WFLP'2000 will take place on September 28-30, 2000 in Villa Elisa, a late 19th-century seaside villa located in Benicassim, Castellon, on the eastern coast of Spain (travel instructions here). The villa is situated on a lovely promenade fronting the beach and the Mediterranean sea. Click here for some nice pictures.

 Important dates

Deadline for submissions:
Final version due:
Workshop dates:
May 12, 2000
June 30, 2000
September 28-30, 2000


María Alpuente
Departamento de Sistemas Informáticos y Computación
Universidad Politécnica de Valencia
Camino de Vera, s/n
46022 Valencia, Spain
Phone: +34 96 3 87 93 54
Fax : +34 96 3 87 73 59
Email: wflp2000@dsic.upv.es

 Organizing committee

Elvira Albert
María Alpuente
Santiago Escobar
César Ferri
José Hernández
Carlos Herrero
Marisa Lloréns
Salvador Lucas
Moisés Mascuñán
Francisco Javier Oliver
María José Ramírez
Germán Vidal
Alicia Villanueva


WFLP'2000 is gently sponsored by:

Ministerio de Ciencia y Tecnología
Universidad Politécnica de Valencia
Facultad de Informática UPV

 Last modified: 26/09/2000