ELTE IK fejléc
Navigációs hivatkozások átugrása
About us
Studies
EIT ICT Labs Master School
International application
Conferences
Research
Contact
Vacancies
 
 
Navigációs hivatkozások átugrása
TFP 2009 & CEFP 2009
Tutorials
Call for papers
Call for participation
Important dates
Committee
Submissions
Organization
Registration
Programme
Venue
Photos
CEFP 2013
DACH 2014
CEFP 2015

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 registration and paper submission is now open! ***

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. Acceptance
for the conference is based on full papers or extended abstracts, and 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 Janos 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: May 10 (extended)
    * Notification of Acceptance: May 12
    * Camera Ready Symposium Proceedings Paper: May 14
    * 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

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, Zoltan Horvath and Viktoria
Zsok at tfp2009@inf.elte.hu

 SUBMISSION AND DRAFT PROCEEDINGS

Acceptance of articles for presentation at the symposium is based on the
screening process of full papers (15 pages) and extended abstracts
(at least 3 pages). TFP encourages PhD students to submit papers.

PhD students may request the program committee to provide extensive
feedback on their full papers at the time of submission. Full papers
describing work accepted for presentation must be completed before the
symposium for publication in the draft proceedings. Further details can be
found at the TFP 2009 website.

 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.