<html dir="ltr"><head>
<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-2">
<style>@font-face {
        font-family: Cambria Math;
}
@font-face {
        font-family: Calibri;
}
@page Section1 {margin: 70.85pt 70.85pt 70.85pt 70.85pt; }
P.MsoNormal {
        FONT-SIZE: 11pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Calibri","sans-serif"
}
LI.MsoNormal {
        FONT-SIZE: 11pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Calibri","sans-serif"
}
DIV.MsoNormal {
        FONT-SIZE: 11pt; MARGIN: 0cm 0cm 0pt; FONT-FAMILY: "Calibri","sans-serif"
}
A:link {
        COLOR: blue; TEXT-DECORATION: underline
}
SPAN.MsoHyperlink {
        COLOR: blue; TEXT-DECORATION: underline
}
A:visited {
        COLOR: purple; TEXT-DECORATION: underline
}
SPAN.MsoHyperlinkFollowed {
        COLOR: purple; TEXT-DECORATION: underline
}
SPAN.E-mailStlus17 {
        COLOR: windowtext; FONT-FAMILY: "Calibri","sans-serif"
}
.MsoChpDefault {
        
}
DIV.Section1 {
        
}
</style>
<meta content="MSHTML 6.00.6000.16825" name="GENERATOR">
<style title="owaParaStyle"><!--P {
        MARGIN-TOP: 0px; MARGIN-BOTTOM: 0px
}
--></style>
</head>
<body lang="HU" vlink="purple" link="blue" ocsi="x">
<div dir="ltr">Last&nbsp;call for papers</div>
<div>
<div class="Section1">
<p class="MsoNormal">&nbsp;10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING</p>
<p class="MsoNormal">&nbsp;TFP 2009</p>
<p class="MsoNormal">&nbsp;SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA</p>
<p class="MsoNormal">&nbsp;June 2-4, 2009</p>
<p class="MsoNormal">&nbsp;<a href="http://www.inf.elte.hu/tfp_cefp_2009" target="_blank">http://www.inf.elte.hu/tfp_cefp_2009</a></p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">*** Submission deadline extended until 10th of May! ***</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">The symposium on Trends in Functional Programming (TFP) is an</p>
<p class="MsoNormal">international forum for researchers with interests in all aspects of</p>
<p class="MsoNormal">functional programming languages, focusing on providing a broad view of</p>
<p class="MsoNormal">current and future trends in Functional Programming. It aspires to be a</p>
<p class="MsoNormal">lively environment for presenting the latest research results. Acceptance</p>
<p class="MsoNormal">for the conference is based on full papers or extended abstracts, and a</p>
<p class="MsoNormal">formal post-symposium refereeing process selects the best articles</p>
<p class="MsoNormal">presented at the symposium for publication in a high-profile volume.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">TFP 2009 is hosted by the Selye Janos University, Komarno, Slovakia, and</p>
<p class="MsoNormal">it is co-located with the 3rd Central-European Functional Programming</p>
<p class="MsoNormal">School (CEFP 2009), which is held immediately before TFP 2009 (May 25-30).</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;IMPORTANT DATES (ALL 2009)</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Paper Submission: May 10 (extended)</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Notification of Acceptance: May 12</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Camera Ready Symposium Proceedings Paper: May 14</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * TFP Symposium: June 2-4, 2009</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Post Symposium Paper Submission: June 30</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Notification of Acceptance: September 7</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Camera Ready Revised Paper: September 21</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;SCOPE OF THE SYMPOSIUM</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">As part of the Symposium's focus on trends we therefore identify</p>
<p class="MsoNormal">the following five article categories. High-quality articles are</p>
<p class="MsoNormal">solicited in any of these categories:</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Research: leading-edge, previously unpublished research.</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Position: on what new trends should or should not be.</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Project: descriptions of recently started new projects.</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Evaluation: what lessons can be drawn from a finished project.</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Overview: summarizing work with respect to a trendy subject.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">Articles must be original and not submitted for simultaneous publication</p>
<p class="MsoNormal">to any other forum. They may consider any aspect of functional</p>
<p class="MsoNormal">programming: theoretical, implementation-oriented, or more experience-</p>
<p class="MsoNormal">oriented. Applications of functional programming techniques to other</p>
<p class="MsoNormal">languages are also within the scope of the symposium. Contributions on</p>
<p class="MsoNormal">the following subject areas are particularly welcomed:</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Dependently Typed Functional Programming</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Validation and Verification of Functional Programs</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Debugging for Functional Languages</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Programming and Security</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Programming and Mobility</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Programming to Animate/Prototype/Implement Systems from</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Formal or Semi-Formal Specifications</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Languages for Telecommunications Applications</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Languages for Embedded Systems</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Programming Applied to Global Computing</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional GRIDs</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Functional Programming Ideas in Imperative or Object-Oriented</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; Settings (and the converse)</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Interoperability with Imperative Programming Languages</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Novel Memory Management Techniques</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Parallel/Concurrent Functional Languages</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Program Transformation Techniques</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Empirical Performance Studies</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Abstract/Virtual Machines and Compilers for Functional Languages</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * New Implementation Strategies</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Any new emerging trend in the functional programming area</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">If you are in doubt on whether your article is within the scope of TFP,</p>
<p class="MsoNormal">please contact the TFP 2009 program chairs, Zoltan Horvath and Viktoria</p>
<p class="MsoNormal">Zsok at <a href="mailto:tfp2009@inf.elte.hu">tfp2009@inf.elte.hu</a></p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;SUBMISSION AND DRAFT PROCEEDINGS</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">Acceptance of articles for presentation at the symposium is based on the</p>
<p class="MsoNormal">screening process of full papers (15 pages) and extended abstracts
</p>
<p class="MsoNormal">(at least 3 pages). TFP encourages PhD students to submit papers.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">PhD students may request the program committee to provide extensive</p>
<p class="MsoNormal">feedback on their full papers at the time of submission. Full papers</p>
<p class="MsoNormal">describing work accepted for presentation must be completed before the</p>
<p class="MsoNormal">symposium for publication in the draft proceedings. Further details can</p>
<p class="MsoNormal">be found at the TFP 2009 website.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;POST-SYMPOSIUM REFEREEING AND PUBLICATION</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">In addition to the draft symposium proceedings, we continue the TFP</p>
<p class="MsoNormal">tradition of publishing a high-quality subset of contributions in the</p>
<p class="MsoNormal">Intellect series on Trends in Functional Programming.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;PROGRAM COMMITTEE</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Peter Achten (symp-chair), Radboud University Nijmegen, NL</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * John Clements, California Polytechnic State University, USA</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Cormac Flanagan, University of California at Santa Cruz, USA</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Jurriaan Hage, Utrecht University, NL</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Kevin Hammond, University of St. Andrews, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Michael Hanus, Christian-Albrechts University zu Kiel, DE</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Ralf Hinze, University of Oxford, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Zoltan Horvath (PC co-chair),&nbsp; Eotvos Lorand University, HU</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Graham Hutton, University of Nottingham, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Johan Jeuring, Utrecht University, NL</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Rita Loogen, Philipps-University Marburg, DE</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Greg Michaelson, Heriot-Watt University, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Marco T. Morazan, Seton Hall University, USA</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Rex L Page, University of Oklahoma, USA</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Sven-Bodo Scholz, University of Hertfordshire, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Clara Segura, University Complutense de Madrid, ES</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Mary Sheeran, Chalmers University of Technology, SE</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Phil Trinder, Heriot-Watt University, UK</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Marko van Eekelen, Radboud University Nijmegen, NL</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Varmo Vene, University of Tartu, EE</p>
<p class="MsoNormal">&nbsp;&nbsp;&nbsp; * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;LOCATION</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">The Conference Centre of Selye University, Komarno, Slovakia</p>
<p class="MsoNormal">(<a href="http://www.selyeuni.sk/" target="_blank">http://www.selyeuni.sk/</a>) is a new and excellent conference centre with</p>
<p class="MsoNormal">modern equipment, lecture rooms and computer labs.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">Komarno is on the north bank of river Danube, the northern part of the</p>
<p class="MsoNormal">city Komarom / Komarno. It is a charming old city with about 30 000</p>
<p class="MsoNormal">inhabitants, 90 km away from Budapest (the capital of Hungary), with</p>
<p class="MsoNormal">good highway and railway connections and 90 km away from</p>
<p class="MsoNormal">Bratislava (the capital of Slovakia), about 100 km from Vienna International</p>
<p class="MsoNormal">Airport.</p>
<p class="MsoNormal">&nbsp;</p>
<p class="MsoNormal">&nbsp;</p>
</div>
</div>
</body>
</html>