9th International Workshop on
Functional and Logic Programming
WFLP'2000
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
Trains: Timetable and Prices
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
Authors are invited to submit a 3-page position paper or abstract
in postscript format (11pt) via email to
wflp2000@dsic.upv.es
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.
|
Deadline for submissions:
Final version due:
Workshop dates:
|
| |
May 12, 2000
June 30, 2000
September 28-30, 2000
|
|
WFLP'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
|
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
|
