Skip Navigation Links
Magyar English
Skip navigation links
Department
Staff
Courses
Projects
Conferences
Publications
Skip navigation links
Department
Staff
Courses
Projects
Conferences
Publications
Tanszék - Magyar
Test home page of CEFP 2009 (May 25-30, 2009) and TFP 2009 (Jun 2-4), Komarno
default.aspx
 
 
 

CALL FOR PAPERS

10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING
TFP 2009

SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA

June 2-4, 2009

http://plcportal.inf.elte.hu/en/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’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 tfp2009@inf.elte.hu

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


 

CALL FOR PARTICIPATION

3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEFP 2009

SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA

May 25-30, 2009

http://plcportal.inf.elte.hu/en/tfp_cefp_2009 

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. 

Accommodation:

- 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)