|
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é Meseguer | University 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
|