[clean-list] CFP for TFP 2009

Horváth Zoltán hz at inf.elte.hu
Fri Dec 19 13:55:52 MET 2008


First call for papers
 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
 TFP 2009
 SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA
 June 2-4, 2009
 http://www.inf.elte.hu/tfp_cefp_2009

The symposium on Trends in Functional Programming (TFP) is an
international forum for researchers with interests in all aspects of
functional programming languages, focusing on providing a broad view of
current and future trends in Functional Programming. It aspires to be a
lively environment for presenting the latest research results through
acceptance by extended abstracts and full papers. A formal post-
symposium refereeing process selects the best articles presented at the
symposium for publication in a high-profile volume.

TFP 2009 is hosted by the Selye János University, Komarno, Slovakia, and
it is co-located with the 3rd Central-European Functional Programming
School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30).

IMPORTANT DATES (ALL 2009)

    * Paper Submission: March 15
    * Notification of Acceptance: April 3
    * Camera Ready Symposium: May 3
    * TFP Symposium: June 2-4, 2009
    * Post Symposium Paper Submission: June 30
    * Notification of Acceptance: September 7
    * Camera Ready Revised Paper: September 21

SCOPE OF THE SYMPOSIUM

The symposium recognizes that new trends may arise through various
routes. As part of the Symposium's focus on trends we therefore identify
the following five article categories. High-quality articles are
solicited in any of these categories:

    * Research: leading-edge, previously unpublished research.
    * Position: on what new trends should or should not be.
    * Project: descriptions of recently started new projects.
    * Evaluation: what lessons can be drawn from a finished project.
    * Overview: summarizing work with respect to a trendy subject.

Articles must be original and not submitted for simultaneous publication
to any other forum. They may consider any aspect of functional
programming: theoretical, implementation-oriented, or more experience-
oriented. Applications of functional programming techniques to other
languages are also within the scope of the symposium. Contributions on
the following subject areas are particularly welcomed:

    * Dependently Typed Functional Programming
    * Validation and Verification of Functional Programs
    * Debugging for Functional Languages
    * Functional Programming and Security
    * Functional Programming and Mobility
    * Functional Programming to Animate/Prototype/Implement Systems from
      Formal or Semi-Formal Specifications
    * Functional Languages for Telecommunications Applications
    * Functional Languages for Embedded Systems
    * Functional Programming Applied to Global Computing
    * Functional GRIDs
    * Functional Programming Ideas in Imperative or Object-Oriented
      Settings (and the converse)
    * Interoperability with Imperative Programming Languages
    * Novel Memory Management Techniques
    * Parallel/Concurrent Functional Languages
    * Program Transformation Techniques
    * Empirical Performance Studies
    * Abstract/Virtual Machines and Compilers for Functional Languages
    * New Implementation Strategies
    * Any new emerging trend in the functional programming area

If you are in doubt on whether your article is within the scope of TFP,
please contact the TFP 2009 program chairs, Zoltán Horváth and Viktória
Zsók at tfp2009 [at] inf.elte.hu


POST-SYMPOSIUM REFEREEING AND PUBLICATION

In addition to the draft symposium proceedings, we continue the TFP
tradition of publishing a high-quality subset of contributions in the
Intellect series on Trends in Functional Programming.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://mailman.science.ru.nl/pipermail/clean-list/attachments/20081219/a5aefb62/attachment-0001.html


More information about the clean-list mailing list