WFLP 2006 - 15th Workshop on Functional and (Constraint) Logic Programming

Facultad de Informática - Universidad Complutense de Madrid

Madrid, Spain, November 16-17, 2006

General

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 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: 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'06 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

Submission

Authors are invited to submit an abstract and a list of keywords not later than July 13, 2006, and a complete paper (no longer than 14 pages including figures and references) not later than July 20, 2006.

Submission -- including the previous abstract -- should be done using the WFLP'06 submission web page, which is kindly supported by the EasyChair conference management system.

Authors must follow the ENTCS instructions for preparing files for publication in preliminary versions of ENTCS volumes for distribution at meetings.

Publication

The proceedings of the workshop will be published as a special number of Electronic Notes in Theoretical Computer Science (Elsevier) after the workshop. A preliminary version of the proceedings will be available to the participants during the workshop.

Instructions to authors for the preliminary Proceedings

In order to prepare the preliminary version of the proceedings please follow the ENTCS instructions.

In particular, authors must:

• Download the WFLP'06 specific prentcsmacro.sty file and rename it to entcsmacro.sty. Please notice that the file prentcsmacro.sty has changed since the time of submission.
• Send to the PC chair (fraguas@sip.ucm.es) the source text as a single .tex file, its .ps and .pdf compilations, together with all auxiliary files needed for compilation like figures or non-standard .sty files. The deadline for submitting all this is October 13.

Program Committee

Sergio Antoy		Portland State University (USA)
Rafael Caballero		Universidad Complutense de Madrid (Spain)
Agostino Dovier		Universita di Udine (Italy)
Rachid Echahed		Institut IMAG (France)
Santiago Escobar		Universidad Politecnica de Valencia (Spain)
Moreno Falaschi		Universita di Siena (Italy)
Michael Hanus		Christian-Albrechts-Universität zu Kiel (Germany)
Frank Huch		Christian-Albrechts-Universität zu Kiel (Germany)
Tetsuo Ida		University of Tsukuba (Japan)
Herbert Kuchen		Westfalische Wilhelms-Universitat Munster (Germany)
Francisco J. López-Fraguas  (chair)		Universidad Complutense de Madrid (Spain)
Wolfgang Lux		Westfalische Wilhelms-Universitat Munster (Germany)
Mircea Marin		University of Tsukuba (Japan)
Julio Mariño		Universidad Politecnica de Madrid (Spain)
Juan J. Moreno-Navarro		Universidad Politecnica de Madrid (Spain)
Germán Vidal		U. Politécnica de Valencia (Spain)

Important dates

Submissions of abstracts:	July 13, 2006
Submissions of papers:	July 20, 2006
Notification to authors:	September 25, 2006
Final version:	October 13, 2006   NEW
WFLP 2006:	November 16-17, 2006, Madrid

Invited Talks

• • José Meseguer (Univ. Illinois at Urbana)
  • Title: Narrowing and Rewriting Logic: from Foundations to Applications
• • Peter Padawitz (Univ. Dortmund)
  • Title: Expander2: Program Verification between Interaction and Automation

Location

• The reception desk will be situated near the Sala de Grados (First floor), from 08:45 to 9:30 of Thursday 16.
• All workshop sessions will be held at the Sala de Grados (First floor).
• Lunches will be served at the Cafeteria de Personal (Ground floor).
• Workshop dinner will be at Restaurante Posada de la Villa, C/ Cava Baja 9, on Thursday 16 at 20:45. See a situation map.

Organization

• Rafael Caballero
• Sonia Estévez
• Isabel Pita
• Juan Rodríguez
• Carlos Romero
• Jaime Sánchez
• Rafael del Vado

Some photos

Contact