RDP                     
Home page
Organization
Sponsors

MEETINGS        
RTA
TLCA
FTP
WG1.6
RULE
UNIF
WFLP
WRS
WST

VENUE               
Valencia
Registration
Accomodation
Travelling
Program
Conference Venue
Internet
WFLP'03
12th Int'l Workshop on Functional and (Constraint) Logic Programming
Valencia, Spain, June 12-13, 2003

The Workshop on Functional and (Constraint) Logic Programming aims 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.

The previous WFLP editions are: WFLP 2002 (Grado, Italy), WFLP 2001 (Kiel, Germany), WFLP 2000 (Benicassim, Spain), 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).


TOPICS

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, non-monotonic 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, embeded 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
    Wednesday, April 2, 2003 Deadline for submission of papers
    Friday, April 25, 2003 Notification of acceptance
    Sunday, May 11, 2003 Camera-ready papers
    June 12-13, 2003 Workshop

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 before April 2, 2003. Submissions should include the title, authors' names, affiliations, addresses, and e-mail.


INVITED SPEAKERS

Invited talks will be given at WFLP'03 by
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) after the workshop.


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.

Finally, the decision has been (300 Euro):
PROGRAM COMMITTEE

PROGRAM CHAIR
    Germán Vidal
    Departamento de Sistemas Informáticos y Computación (DSIC)
    Universidad Politécnica de Valencia, Spain
    Camino de Vera, s/n
    E-46022 Valencia (Spain)
    Phone: + 34 96 387 9355 / Fax: + 34 96 387 7359
    Email: gvidal@dsic.upv.es

LOCAL 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 Alicia Villanueva
                                                                                                                                                                                                               
Last update May 2003 # sescobar@dsic.upv.es