[plt-scheme] WFLP'03: Deadline extension --> April 2
**********************************************************************
NEW: The deadline for submissions to WFLP 2003 has been extended to
April 2, 2003
**********************************************************************
======================================================================
FINAL CALL FOR PAPERS WFLP 2003
12th Int'l Workshop on Functional and (Constraint) Logic Programming
June 12-13, 2003, Valencia (Spain)
http://www.dsic.upv.es/~rdp03/wflp/
======================================================================
WFLP is the International Workshop on Functional and (Constraint)
Logic Programming. WFLP'03, the twelfth in the series, will be held in
Valencia, Spain, June 12-13, 2003, at the
Federated Conference on Rewriting, Deduction and Programming (RDP'03)
http://www.dsic.upv.es/~rdp03/
The WFLP workshops aim 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 combina-
tions of high-level, declarative programming languages and related
areas.The technical program of the workshop will include invited talks,
presentations of refereed papers and demo presentations.
Previous editions of the workshop have been held in Grado (Italy),
Kiel (Germany), Benicassim (Spain), Grenoble (France), Bad Honnef
(Germany), Schwarzenberg (Germany), Marburg (Germany), Rattenberg
(Germany), and Karlsruhe (Germany).
----------------------------------------------------------------------
TOPICS OF INTEREST
WFLP'03 solicits papers in all areas of functional and (constraint)
logic programming, including (but not limited to):
* Language Design: modules and type systems, multi-paradigm languages,
concurrency and distribution, objects
* Foundations: formal semantics, rewriting and narrowing, nonmonotonic
reasoning, dynamics, type theory
* Implementation: abstract machines, parallelism, compile-time and
run-time optimizations, interfacing with external languages
* Transformation and Analysis: abstract interpretation, specialization,
partial evaluation, program transformation, meta-programming
* Software Engineering: design patterns, specification, verification
and validation, debugging, test generation
* Applications: declarative programming in education and industry,
domain-specific languages, visual/graphical user interfaces,embedded
systems, WWW applications, knowledge representation and machine
learning, deductive databases, advanced programming environments and
tools
The main focus is on new and original research results but submissions
describing innovative products, prototypes under development or
interesting experiments (e.g., benchmarks) are also encouraged.
----------------------------------------------------------------------
IMPORTANT DATES
Submission of papers: Wednesday, April 2, 2003
Notification of acceptance: Friday, April 25, 2003
Camera-ready papers: Sunday, May 11, 2003
Workshop: June 12 - 13, 2003
----------------------------------------------------------------------
SUBMISSION
Authors are invited to submit an extended abstract (no longer than 12
pages including figures and references) or a system description (no
longer than 4 pages) in Postscript or PDF format (Springer LNCS style)
via email to
gvidal at dsic.upv.es
before April 2, 2003. Submissions should include the title, authors'
names, affiliations, addresses, and e-mail.
----------------------------------------------------------------------
PUBLICATION
Accepted papers will be included in the preliminary proceedings that
will be available at the workshop. After the workshop, authors of the
best abstracts will be invited to submit full papers.These full papers
will be reviewed and accepted papers will appear in the Electronic
Notes in Theoretical Computer Science (Elsevier).
----------------------------------------------------------------------
BEST NEWCOMER AWARD
An award will be given to the best paper exclusively written by one or
several young researchers who have not yet obtained their PhD degrees.
Papers written in this category should be clearly marked "Student
papers" in the submission.
----------------------------------------------------------------------
PROGRAM COMMITTEE
Maria Alpuente (Technical University of Valencia, Spain)
Sergio Antoy (Portland State University, USA)
Annalisa Bossi (Universita 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 (Universita 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 Jose Moreno-Navarro (Universidad Politecnica de Madrid, Spain)
Ernesto Pimentel (University of Malaga, Spain)
Mario Rodriguez-Artalejo (Universidad Complutense de Madrid, Spain)
German Vidal (Technical University of Valencia, Spain)
----------------------------------------------------------------------
LOCAL ORGANIZING COMMITTEE
Elvira Albert Santiago Escobar Cesar Ferri
Jose Hernandez Carlos Herrero Pascual Julian
Marisa Llorens Gines Moreno Javier Oliver
German Vidal Alicia Villanueva
----------------------------------------------------------------------
FURTHER INFORMATION
WFLP 2003: http://www.dsic.upv.es/~rdp03/wflp
Workshop contact: gvidal at dsic.upv.es
RDP 2003: http://www.dsic.upv.es/~rdp03