[ The Types Forum (announcements only), 
     http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]

  First call for papers
  TFP 2009
  June 2-4, 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.  
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  


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


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  
       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 tfp2...@inf.elte.hu


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.


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.


     * Peter Achten (symp-chair), Radboud University Nijmegen, NL
     * John Clements, California Polytechnic State University, USA
     * Cormac Flanagan, University of California at Santa Cruz, USA
     * Jurriaan Hage, Utrecht University, NL
     * Kevin Hammond, University of St. Andrews, UK
     * Michael Hanus, Christian-Albrechts University zu Kiel, DE
     * Ralf Hinze, University of Oxford, UK
     * Zoltan Horvath (PC co-chair),  Eotvos Lorand University, HU
     * Graham Hutton, University of Nottingham, UK
     * Johan Jeuring, Utrecht University, NL
     * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL
     * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE
     * Rita Loogen, Philipps-University Marburg, DE
     * Greg Michaelson, Heriot-Watt University, UK
     * Marco T. Morazan, Seton Hall University, USA
     * Rex L Page, University of Oklahoma, USA
     * Sven-Bodo Scholz, University of Hertfordshire, UK
     * Clara Segura, University Complutense de Madrid, ES
     * Mary Sheeran, Chalmers University of Technology, SE
     * Phil Trinder, Heriot-Watt University, UK
     * Marko van Eekelen, Radboud University Nijmegen, NL
     * Varmo Vene, University of Tartu, EE
     * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU


Conference Centre of Selye University, Komarno, Slovakia
(http://www.selyeuni.sk/). It is a new and excellent conference centre
with modern equipment, lecture rooms and computer labs.

Komarno is on the north bank of river Danube, the northern part of the
city Komarom / Komarno. It is a charming old city with about 30 000
inhabitants, 90 km away from Budapest (the capital of Hungary), with
good highway and railway connections and 90 km away from
Bratislava (the capital of Slovakia), about 100 km from Vienna  

Reply via email to