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’09 (May 25-30).
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 email@example.com
SUBMISSION AND DRAFT PROCEEDINGS
Acceptance of articles for presentation at the symposium is based on the review of full papers (15 pages) and extended abstracts (at least 3 pages) by the program committee. 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 and on-line. 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.
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
The CEFP meeting is the Central European counterpart of the Advanced Functional Programming school (AFP).
Both summer schools have the same goal, but CEFP has as additional goal to stimulate students from Central Europe to attend by choosing a nearby location and striving for a low participation fee.
CEFP 2009 is co-located with the 10th Symposium on Trends in Functional Programming (TFP’09), which is held after CEFP’09.
The goals of the CEFP summer school are:
· Bring together computer scientists, in particular young researchers (PhD students), and make them familiar with the latest functional programming techniques.
· Show the use of advanced functional programming techniques in real world applications.
· Bridge the gap between recent results presented at programming conferences and material from introductory textbooks on functional programming.
The approach we take to achieve these goals in the schools is:
· In depth lectures about a selected number of advanced functional programming techniques that emerged or established recently.
· The lectures are taught by experts in the field that actively contribute to research and application of the techniques.
· Lectures are accompanied by practical exercises to be solved by the students at the school. These exercises guide the students' learning to a great extent.
· Group work is stimulated, such that the students can also learn from each other.
· During the summer school, all participants receive printed lecture notes.
For the lecturers there are advantages as well:
· It is very stimulating to give a lecture for an international community of interested PhD students;
· The lecture notes will be published by Springer after the event. The lecture notes will be peer reviewed to ensure that the quality meets international standards.
At the beginning of CEFP 2009 we make functional programming warm-up sessions starting on 22 May 2009.
Location: 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 Komárom / Komarno.
The two parts are connected via a bridge over the Danube. Komarno / Komárom is a nice old city with about 30 000 inhabitants, 90 km away from Budapest (the capital of Hungary), with good motorway and railway connections and 90 km away from Bratislava / Pozsony (the capital of Slovakia), about 100 km from Vienna International Airport, so there are plenty of possibilities to travel to Komarno / Komárom.
- student hostels (cca. 15-20 Eur/night/person in double rooms) and
- hotels (from cca. 40-50 Euro/night).
Participants having accommodation in student hostel get breakfast at the university canteen (cca. 2,5 Euro/person).
Lunch and dinner at university canteen (at Conference Centre), will be included into registration fee.
Local arrangements team - chair/co-chairs:
OC Chairs: Zoltán Horváth, Viktória Zsók (Eötvös Loránd University, Budapest), Rinus Plasmeijer (Radboud University, Nijmegen)
Local Co-chair of OC: Veronika Stoffa, vice-rector (Selye János University, Komarno)