Third 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
*** Submission deadline extended until 10th of May! ***
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.
PROGRAM COMMITTEE
* 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
LOCATION
The Conference Centre of Selye University, Komarno, Slovakia
(http://www.selyeuni.sk/)
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 International
Airport.