<html xmlns:v="urn:schemas-microsoft-com:vml" xmlns:o="urn:schemas-microsoft-com:office:office" xmlns:w="urn:schemas-microsoft-com:office:word" xmlns:m="http://schemas.microsoft.com/office/2004/12/omml" xmlns="http://www.w3.org/TR/REC-html40">
<head>
<meta http-equiv=Content-Type content="text/html; charset=iso-8859-2">
<meta name=Generator content="Microsoft Word 12 (filtered medium)">
<style>
<!--
/* Font Definitions */
@font-face
{font-family:"Cambria Math";
panose-1:2 4 5 3 5 4 6 3 2 4;}
@font-face
{font-family:Calibri;
panose-1:2 15 5 2 2 2 4 3 2 4;}
/* Style Definitions */
p.MsoNormal, li.MsoNormal, div.MsoNormal
{margin:0cm;
margin-bottom:.0001pt;
font-size:11.0pt;
font-family:"Calibri","sans-serif";}
a:link, span.MsoHyperlink
{mso-style-priority:99;
color:blue;
text-decoration:underline;}
a:visited, span.MsoHyperlinkFollowed
{mso-style-priority:99;
color:purple;
text-decoration:underline;}
span.E-mailStlus17
{mso-style-type:personal-compose;
font-family:"Calibri","sans-serif";
color:windowtext;}
.MsoChpDefault
{mso-style-type:export-only;}
@page Section1
{size:612.0pt 792.0pt;
margin:70.85pt 70.85pt 70.85pt 70.85pt;}
div.Section1
{page:Section1;}
-->
</style>
<!--[if gte mso 9]><xml>
<o:shapedefaults v:ext="edit" spidmax="1026" />
</xml><![endif]--><!--[if gte mso 9]><xml>
<o:shapelayout v:ext="edit">
<o:idmap v:ext="edit" data="1" />
</o:shapelayout></xml><![endif]-->
</head>
<body lang=HU link=blue vlink=purple>
<div class=Section1>
<p class=MsoNormal>First call for papers<o:p></o:p></p>
<p class=MsoNormal> 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING<o:p></o:p></p>
<p class=MsoNormal> TFP 2009<o:p></o:p></p>
<p class=MsoNormal> SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<o:p></o:p></p>
<p class=MsoNormal> June 2-4, 2009<o:p></o:p></p>
<p class=MsoNormal> http://www.inf.elte.hu/tfp_cefp_2009<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The symposium on Trends in Functional Programming (TFP) is
an<o:p></o:p></p>
<p class=MsoNormal>international forum for researchers with interests in all
aspects of<o:p></o:p></p>
<p class=MsoNormal>functional programming languages, focusing on providing a
broad view of<o:p></o:p></p>
<p class=MsoNormal>current and future trends in Functional Programming. It
aspires to be a<o:p></o:p></p>
<p class=MsoNormal>lively environment for presenting the latest research
results through<o:p></o:p></p>
<p class=MsoNormal>acceptance by extended abstracts and full papers. A formal
post-<o:p></o:p></p>
<p class=MsoNormal>symposium refereeing process selects the best articles
presented at the<o:p></o:p></p>
<p class=MsoNormal>symposium for publication in a high-profile volume.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>TFP 2009 is hosted by the Selye János University, Komarno,
Slovakia, and<o:p></o:p></p>
<p class=MsoNormal>it is co-located with the 3rd Central-European Functional
Programming<o:p></o:p></p>
<p class=MsoNormal>School (CEFP 2009), which is held immediately before TFP
2009 (May 25-30).<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>IMPORTANT DATES (ALL 2009)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Paper Submission: March 15<o:p></o:p></p>
<p class=MsoNormal> * Notification of Acceptance: April 3<o:p></o:p></p>
<p class=MsoNormal> * Camera Ready Symposium: May 3<o:p></o:p></p>
<p class=MsoNormal> * TFP Symposium: June 2-4, 2009<o:p></o:p></p>
<p class=MsoNormal> * Post Symposium Paper Submission: June 30<o:p></o:p></p>
<p class=MsoNormal> * Notification of Acceptance: September 7<o:p></o:p></p>
<p class=MsoNormal> * Camera Ready Revised Paper: September 21<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>SCOPE OF THE SYMPOSIUM<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The symposium recognizes that new trends may arise through
various<o:p></o:p></p>
<p class=MsoNormal>routes. As part of the Symposium's focus on trends we
therefore identify<o:p></o:p></p>
<p class=MsoNormal>the following five article categories. High-quality articles
are<o:p></o:p></p>
<p class=MsoNormal>solicited in any of these categories:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Research: leading-edge, previously unpublished
research.<o:p></o:p></p>
<p class=MsoNormal> * Position: on what new trends should or should not be.<o:p></o:p></p>
<p class=MsoNormal> * Project: descriptions of recently started new
projects.<o:p></o:p></p>
<p class=MsoNormal> * Evaluation: what lessons can be drawn from a finished
project.<o:p></o:p></p>
<p class=MsoNormal> * Overview: summarizing work with respect to a trendy
subject.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Articles must be original and not submitted for simultaneous
publication<o:p></o:p></p>
<p class=MsoNormal>to any other forum. They may consider any aspect of
functional<o:p></o:p></p>
<p class=MsoNormal>programming: theoretical, implementation-oriented, or more
experience-<o:p></o:p></p>
<p class=MsoNormal>oriented. Applications of functional programming techniques
to other<o:p></o:p></p>
<p class=MsoNormal>languages are also within the scope of the symposium.
Contributions on<o:p></o:p></p>
<p class=MsoNormal>the following subject areas are particularly welcomed:<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Dependently Typed Functional Programming<o:p></o:p></p>
<p class=MsoNormal> * Validation and Verification of Functional Programs<o:p></o:p></p>
<p class=MsoNormal> * Debugging for Functional Languages<o:p></o:p></p>
<p class=MsoNormal> * Functional Programming and Security<o:p></o:p></p>
<p class=MsoNormal> * Functional Programming and Mobility<o:p></o:p></p>
<p class=MsoNormal> * Functional Programming to Animate/Prototype/Implement
Systems from<o:p></o:p></p>
<p class=MsoNormal> Formal or Semi-Formal Specifications<o:p></o:p></p>
<p class=MsoNormal> * Functional Languages for Telecommunications
Applications<o:p></o:p></p>
<p class=MsoNormal> * Functional Languages for Embedded Systems<o:p></o:p></p>
<p class=MsoNormal> * Functional Programming Applied to Global Computing<o:p></o:p></p>
<p class=MsoNormal> * Functional GRIDs<o:p></o:p></p>
<p class=MsoNormal> * Functional Programming Ideas in Imperative or
Object-Oriented<o:p></o:p></p>
<p class=MsoNormal> Settings (and the converse)<o:p></o:p></p>
<p class=MsoNormal> * Interoperability with Imperative Programming Languages<o:p></o:p></p>
<p class=MsoNormal> * Novel Memory Management Techniques<o:p></o:p></p>
<p class=MsoNormal> * Parallel/Concurrent Functional Languages<o:p></o:p></p>
<p class=MsoNormal> * Program Transformation Techniques<o:p></o:p></p>
<p class=MsoNormal> * Empirical Performance Studies<o:p></o:p></p>
<p class=MsoNormal> * Abstract/Virtual Machines and Compilers for Functional
Languages<o:p></o:p></p>
<p class=MsoNormal> * New Implementation Strategies<o:p></o:p></p>
<p class=MsoNormal> * Any new emerging trend in the functional programming
area<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>If you are in doubt on whether your article is within the
scope of TFP,<o:p></o:p></p>
<p class=MsoNormal>please contact the TFP 2009 program chairs, Zoltán Horváth
and Viktória<o:p></o:p></p>
<p class=MsoNormal>Zsók at tfp2009 [at] inf.elte.hu<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>POST-SYMPOSIUM REFEREEING AND PUBLICATION<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>In addition to the draft symposium proceedings, we continue
the TFP<o:p></o:p></p>
<p class=MsoNormal>tradition of publishing a high-quality subset of
contributions in the<o:p></o:p></p>
<p class=MsoNormal>Intellect series on Trends in Functional Programming.<o:p></o:p></p>
</div>
</body>
</html>