Call For Papers: WFLP 2007, Paris ,June 25

From: Rachid Echahed <Rachid.Echahed_at_imag.fr>
Date: Wed, 28 Feb 2007 16:59:30 +0100

We apologize for multiple copies
Submissions of abstracts: April, 22
Submissions of papers: April, 29
======================================================================

                       Call For Papers

                          WFLP 2007

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

                  Paris, France, June 25th 2007
                  http://www.rdp07.org/wflp.html

                       Part of RDP 2007
                     http://www.rdp07.org/

======================================================================

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 Westfalische Wilhelms-Universitat
Munster(Germany)
Francisco J. López-Fraguas Universidad Complutense de Madrid (Spain)
Wolfgang Lux Westfalische Wilhelms-Universitat
Munster(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 and PROCEEDINGS

   Authors are invited to submit papers of at most 15 pages (pdf or
   postscript formats) presenting original, not previously published
   works. Submission categories include regular research papers and
   system descriptions. Papers should be submitted electronically via
   the web-based submission site http://www.easychair.org/WFLP2007/

   Preliminary proceedings will be available at the workshop. Selected
   authors will be invited to submit a full version of their papers
   after the workshop. These submissions will pass through a second
   round of reviewing. We expect to publish accepted contributions in
   a special issue of Electronic Notes in Theoretical Computer Science
   (ENTCS, Elsevier).

   Any problems with the submission procedure should be reported to
   Rachid.Echahed_at_imag.fr


IMPORTANT DATES

   Submissions of abstracts: April, 22
   Submissions of papers: April, 29
   Notification to authors: May, 23
   Final version due : June, 10
   WFLP 2007: June, 25


CONTACT

   Rachid Echahed
   CNRS, Laboratoire LIG
   46, avenue Felix Viallet
   Grenoble France
   Email: Rachid.Echahed_at_imag.fr
======================================================================

_______________________________________________
curry mailing list
curry_at_lists.RWTH-Aachen.DE
http://MailMan.RWTH-Aachen.DE/mailman/listinfo/curry
Received on Wed Feb 28 2007 - 18:59:09 CET

This archive was generated by hypermail 2.3.0 : Mon Sep 16 2019 - 07:15:05 CEST