Background

The Workshop on Functional and (Constraint) Logic Programming is one of the stellite events ofRTA 2012 (Nagoya, Japan). This workshop is the 21st in the WFLP workshop series. The previous WFLP editions were: WFLP 2011 (Odense, Denmark), WFLP 2010 (Madrid, Spain), WFLP 2009 (Brasilia, Brazil), WFLP 2008 (Siena, Italy), WFLP 2007 (Paris, France), 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 and goals

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.

Topics of WFLP covers 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
  • 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

Important dates

Abstract submission March 9, 2012 (Extended to March 16, 2012)
Full paper submission March 16, 2012
Full paper submission March 16, 2012 (Extended to March 31, 2012)
Acceptance notification April 23, 2012
Camera ready May 7, 2012
Workshop May 29, 2012

Submission

Authors are invited to submit papers of at most 15 pages presenting original, not previously published works. Papers should be prepared in LaTeX, formatted according to EasyChair style. Papers should be submitted electronically viathe EasyChair submission website.

Digital publication of the proceedings will be available on the day of the workshop as series of EasyChair proceedings. We plan to have post-proceedings either LNCS or special issue of relevant international journal.

Registration

Please refer to RTA 2012 page on registration to Workshops.

Invited speaker

Masahiko Sato Kyoto University, Japan

Program chair

Tetsuo Ida University of Tsukuba, Japan

Program committee

Sergio Antoy Portland State University, USA
Rafael Caballero University Complutense of Madrid, Spain
Manuel Chakravarty University of New South Wales, Australia
Rachid Echahed CNRS, Laboratoire LIG, France
Sebastian Fischer Kiel, Germany
Michael Hanus Christian-Albrechts-Universität zu Kiel, Germany
Petra Hofstedt Brandenburg University of Technology Cottbus, Germany
Tetsuo Ida University of Tsukuba, Japan
Cezary Kaliszyk University of Innsbruck, Austria
Herbert Kuchen University of Muenster, Germany
Enrico Pontelli New Mexico State University, USA

Contact

Tetsuo Ida (Program chair)
Fadoua Ghourabi(Publicity chair)