About Conferences Colloquium Workshops Practical

WFLP 2007

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

Monday, June 25, 2007, Paris
Part of RDP'07


WFLP programme

Scope

The Workshop on Functional and (Constraint) Logic Programming aims at bringing together researchers interested in functional programming, (constraint) logic programming, as well as the Integration of the two paradigms.It promotes the cross-fertilizing exchange of ideas and experiences among researchers 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 2006 (Madrid, Spain), WCFLP 2005 (Tallinn, Estonia), WFLP 2004 (Aachen, Germany), WFLP 2003 (Valencia, 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'07 solicits papers in all areas of functional and (constraint) logic programming, including but not limited to:
  • Foundations: formal semantics, rewriting and narrowing, non-monotonic reasoning, dynamics, type theory
  • Language Design: modules and type systems, multi-paradigm languages, concurrency and distribution, objects
  • 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, embedded systems, WWW applications, knowledge representation and machine learning, deductive databases, advanced programming environments and tools

Program Committee
Sergio Antoy Portland State University (USA)
Rachid Echahed (Chair) CNRS,laboratoire LIG, Grenoble (France)
Santiago Escobar Technical University of Valencia (Spain)
Moreno Falaschi Universita di Siena (Italy)
Michael Hanus Christian-Albrechts-Universität zu Kiel(Germany)
Tetsuo Ida University of Tsukuba (Japan)
Herbert Kuchen Westfälische Wilhelms-Universität Münster(Germany)
Francisco J. López-Fraguas    Universidad Complutense de Madrid (Spain)
Wolfgang Lux Westfälische Wilhelms-Universität Münster(Germany)
Mircea Marin University of Tsukuba (Japan)
José MeseguerUniversity of Illinois at Urbana-Champaign (USA)
Juan J. Moreno-Navarro Universidad Politecnica de Madrid (Spain)
Germán Vidal Technical University of Valencia (Spain)

Submissions, Proceedings, and Important Dates

Please check the official WFLP2007 web page for information.

Contact

Rachid Echahed
CNRS, Laboratoire LIG
46, avenue Felix Viallet
Grenoble France
Email: Rachid.Echahed@imag.fr
webmaster at rdp07 dot org