|
|
The 20th International Workshop on Functional and (Constraint) Logic Programming
will take place in July 2011 in
Odense, Denmark.
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.
WFLP 2011 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
- Implementation: abstract machines, parallelism, compile-time and run-time optimizations, interfacing with external
- 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
The previous WFLP editions were: 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).
This year the workshop will be colocated with the
13th International Symposium on Principles and Practice of Declarative Programming (PPDP 2011), the
22st International Symposium
on Logic-Based Program Synthesis and Transformation (LOPSTR 2011), and the
4th International Workshop on
Approaches and Applications of Inductive Programming (AAIP 2011).
WFLP 2011 will be held at the University of Southern Denmark.
The proceedings will be published as volume 6816 in the LNCS series of Springer-Verlag.
| Submission of abstract: |
April 20, 2011 |
| Paper submission: |
April 21, 2011 |
| Notification: |
May 1, 2011 |
| Camera-ready: |
May 10, 2011 |
| Workshop: |
July 19, 2011 |
Here is a pdf-version of the call for papers.
Papers must describe original work, be written
and presented in English, and must not substantially overlap with papers that
have been published or that are simultaneously submitted to a journal,
conference, or workshop with refereed proceedings. Work that already appeared
in unpublished or informally published workshop proceedings may be
submitted (please contact the PC chair in case of questions).
Authors should submit an electronic copy of the full paper in PDF.
Papers should be submitted via the
submission website for WFLP 2011.
Papers should consist of up to 15 pages under the LNCS
formatting guidelines. These guidelines are
available here,
along with formatting templates and style files.
Submitted papers will be judged on the basis of significance,
relevance, correctness, originality, and clarity. They should include
a clear identification of what has been accomplished and why it is
significant.
| 9:00 |
B. Brassel, M. Hanus, B. Peemöller, F. Reck:
KiCS2: A New Compiler from Curry to Haskell
|
| 9:30 |
S. Antoy, M. Hanus: New Functional Logic Design Pattern
|
| 10:30 |
J.M. Almendros-Jimenez, R. Caballero, Y. García-Ruiz, F. Saenz-Perez:
XQuery in the Functional-Logic Language Toy
|
| 11:00 |
R. Peña, A.D. Delgado-Muñoz: Size Invariants and Ranking Functions Synthesis in a Functional Language
|
| 11:30 |
P. Wuille, T. Schrijvers, H. Samulowitz, G. Tack, P. Stuckey:
Memoizing a Monadic Mixin DSL
|
| 14:00 |
V. Rodrigues, Mário Florido, Simão Melo De Sousa:
A Functional Approach to Worst-Case Execution Time Analysis
|
| 14:30 |
C. Zinn: Building a Faceted Browser in CouchDB Using Views on Views and Erlang Metaprogramming
|
| 15:00 |
T.A. Majchrzak, H. Kuchen: Logic Java: Combining Object-Oriented and Logic Programming
|
| 16:00 |
T. Sakata, N. Nishida, T. Sakabe: On Proving Termination of Constrained Term Rewrite
Systems by Eliminating Edges from Dependency Graphs
|
| 16:30 |
J. Aguado, M. Mendler: Controlling Streams
|
|
María Alpuente
|
Universidad Politécnica de Valencia, Spain |
| Sergio Antoy
|
Portland State University, USA |
| Rafael Caballero Roldán |
Universidad Complutense, Madrid, Spain |
| Olaf Chitil |
University of Kent, UK |
| Rachid Echahed |
Institut IMAG - Laboratoire Leibniz, France |
| Santiago Escobar |
Universidad Politécnica de Valencia, Spain |
| Moreno Falaschi |
University of Siena, Italy |
| Sebastian Fischer |
National Institute of Informatics, Tokyo, Japan |
| Michael Hanus |
Christian-Albrechts-Universität zu Kiel, Germany |
| Herbert Kuchen (chair) |
Westfälische Wilhelms-Univ. Münster, Germany |
| Julio Mariño y Carballo |
Universidad Politécnica de Madrid, Spain |
| Janis Voigtländer |
Universität Bonn, Germany |
Herbert Kuchen
|
