Forwarded message from [slucas@dsic.upv.es] sent originally on Thu, 17 Feb 2000 12:54:41 +0800 (GMT-8): : [We apologize for multiple copies of this message] : : ====================================================================== : : CALL FOR PAPERS : : 9th International Workshop on Functional and Logic Programming : WFLP'2000 : : Benicassim, Spain : September 28-30, 2000 : : ====================================================================== : : PRESENTATION : : 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. : : The WWW page of the workshop is: : : http://www.dsic.upv.es/users/elp/WFLP2000 : : ---------------------------------------------------------------------- : TOPICS : : The topics of interest include (but are not limited to): : : * Functional programming : * Logic programming, constraints : * Extensions of declarative languages : * Multiparadigm declarative programming : * Foundations: lambda calculus, rewriting, narrowing, semantics : * Concurrency : * Language concepts : * Program analysis and abstract interpretation : * Program transformation and partial evaluation : * Specification, verification, model checking, declarative debugging : * Inductive declarative programming and machine learning : * Implementation of declarative languages : * Advanced programming environments and tools : * Applications : : ---------------------------------------------------------------------- : SUBMISSION : : Authors are invited to submit a 3-page position paper or abstract : in postscript format (11pt) via email to : : wflp2000@dsic.upv.es : : before April 28, 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 a Technical Report of the : Departamento de Sistemas Informaticos y Computacion of the Technical : University of Valencia. : : ---------------------------------------------------------------------- : PROGRAMME : : 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 guest speakers (to be announced). : : ---------------------------------------------------------------------- : LOCATION : : WFLP'2000 is hosted by the Departamento de Sistemas Informaticos y : Computacion of the Technical University of Valencia, Spain. WFLP'2000 : will take place on September 28-30, 2000 in Villa Elisa, a nice : seaside villa located in Benicassim, Castellon, on the eastern coast : of Spain. More details about the accomodation, traveling information, : etc., will be available at the WFLP'2000 WWW page. : : ---------------------------------------------------------------------- : IMPORTANT DATES : : Deadline for submissions : April 28, 2000 : Final version due : June 30, 2000 : Workshop dates : September 28-30, 2000 : : ---------------------------------------------------------------------- : CONTACT : : WFLP'2000 : Maria Alpuente : Departamento de Sistemas Informaticos y Computacion : Universidad Politecnica 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 Jose Hernandez Francisco Javier Oliver : Maria Alpuente Carlos Herrero Maria Jose : Ramirez : Santiago Escobar Marisa Llorens German Vidal : Cesar Ferri Salvador Lucas Alicia Villanueva

-- Wirtschaftsinformatik, FB5, Universitaet GH Essen Gustaf.Neumann@uni-essen.de, neumann@computer.org http://nestroy.wi-inf.uni-essen.de/Neumann.html