WFLP  2004

13th International Workshop on Functional and (Constraint) Logic Programming

June 1, 2004          Aachen, Germany

IMPORTANT CHANGE OF DATE

In contrast to the announcement on the poster and on the call-for-papers, WFLP 2004 will only take place on June 1 and not on both June 1 and 2.

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 2003 (Valenica, Spain),  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'04 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
  • Integration of Paradigms: integration of declarative programming with other paradigms such as imperative, object-oriented, concurrent, and real-time programming
  • 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.


ACCEPTED PAPERS

The following papers have been accepted:

  • S. Antoy, S. Johnson: TeaBag: A Functional Logic Language Debugger
  • M. Garcia-Diaz, S. Nieva: A Fixed Point Semantics for an Extended CLP Language
  • J.M. Cleva, J. Leach, F:J. Lopez-Fraguas: A logical approach to the verification of functional-logic programs
  • M. Hanus: Dynamic Predicates in Functional Logic Programs
  • M. Alpuente, M. Falschi, A. Villanueva: Symbolic Representation of tccp Programs
  • B. Braßel, M. Hanus, F. Huch: Encapsulating Non-Determinism in Functional Logic Computations
  • W. Lux: Comparing Copying and Trailing Implementations for Encapsulated Search
  • H. Simoes, M. Florido: TypeTool: A Type Inference Visualization Tool
  • C. Lembeck, R. Caballero, R.A. Müller, H.Kuchen: Constraint Solving for Generating Glass-Box Test Cases


PUBLICATION

Accepted papers will be included in the proceedings that will be available at the workshop. The proceedings will appear as technical report of the department of computer science of the RWTH Aachen. The use of the style file available from the RDP workshop style page is strongly encouraged. After the workshop, authors of the best papers will be invited to submit an extended version. These extended papers will be reviewed again and, if accepted,  published by the Journal of Functional and Logic Programming (EAPLS).


IMPORTANT DATES
 
  •  Deadline for submissions:      March 26, 2004  (extended!)
  • Camera-ready papers:           April 30, 2004
  • Workshop:                                June 1 (Tuesday), 2004


    • WFLP is part of the Federated Conference on Rewriting, Deduction, and Programming (RDP) consisting of several co-located meetings on May 31 (Monday) - June 5 (Saturday), 2004.


    PROGRAM COMMITTEE

    María Alpuente (Technical University of Valencia, Spain)
    Sergio Antoy (Portland State University, USA)
    Manuel Chakravarty (UNSW Sydney, Australia)
    Olaf Chitil (University of Kent, UK)
    Rachid Echahed  (Institut IMAG, France)
    Moreno Falaschi (Università di Udine, Italy)
    Michael Hanus (CAU Kiel, Germany)
    Petra Hofstedt  (TU Berlin, Germany)
    Zhenjiang Hu (University of Tokyo, Japan)
    Tetsuo Ida  (University of Tsukuba, Japan)
    Herbert Kuchen  (University of Muenster, Germany)
    Francisco Javier Lopez-Fraguas  (Universidad Complutense de Madrid, Spain)
    Juan José Moreno-Navarro  (Universidad Politécnica de Madrid, Spain)
    Germán Vidal  (Technical University of Valencia, Spain)


    PROGRAM CHAIR

    Herbert Kuchen
    Westfälische Wilhelms-Universität Münster
    Institut für Wirtschaftsinformatik
    Praktische Informatik in der Wirtschaft
    Leonardo-Campus 3
    D-48149 Münster
    Germany

    Phone: (+49) 251 8338250
    Fax: (+49) 251 8338259
    Email: wflp04@wi.uni-muenster.de