<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 call for papers</div>
<div>
<div class="Section1">
<p class="MsoNormal"> 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING</p>
<p class="MsoNormal"> TFP 2009</p>
<p class="MsoNormal"> SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA</p>
<p class="MsoNormal"> June 2-4, 2009</p>
<p class="MsoNormal"> <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"> </p>
<p class="MsoNormal">*** Submission deadline extended until 10th of May! ***</p>
<p class="MsoNormal"> </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"> </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"> </p>
<p class="MsoNormal"> IMPORTANT DATES (ALL 2009)</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> * Paper Submission: May 10 (extended)</p>
<p class="MsoNormal"> * Notification of Acceptance: May 12</p>
<p class="MsoNormal"> * Camera Ready Symposium Proceedings Paper: May 14</p>
<p class="MsoNormal"> * TFP Symposium: June 2-4, 2009</p>
<p class="MsoNormal"> * Post Symposium Paper Submission: June 30</p>
<p class="MsoNormal"> * Notification of Acceptance: September 7</p>
<p class="MsoNormal"> * Camera Ready Revised Paper: September 21</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> SCOPE OF THE SYMPOSIUM</p>
<p class="MsoNormal"> </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"> </p>
<p class="MsoNormal"> * Research: leading-edge, previously unpublished research.</p>
<p class="MsoNormal"> * Position: on what new trends should or should not be.</p>
<p class="MsoNormal"> * Project: descriptions of recently started new projects.</p>
<p class="MsoNormal"> * Evaluation: what lessons can be drawn from a finished project.</p>
<p class="MsoNormal"> * Overview: summarizing work with respect to a trendy subject.</p>
<p class="MsoNormal"> </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"> </p>
<p class="MsoNormal"> * Dependently Typed Functional Programming</p>
<p class="MsoNormal"> * Validation and Verification of Functional Programs</p>
<p class="MsoNormal"> * Debugging for Functional Languages</p>
<p class="MsoNormal"> * Functional Programming and Security</p>
<p class="MsoNormal"> * Functional Programming and Mobility</p>
<p class="MsoNormal"> * Functional Programming to Animate/Prototype/Implement Systems from</p>
<p class="MsoNormal"> Formal or Semi-Formal Specifications</p>
<p class="MsoNormal"> * Functional Languages for Telecommunications Applications</p>
<p class="MsoNormal"> * Functional Languages for Embedded Systems</p>
<p class="MsoNormal"> * Functional Programming Applied to Global Computing</p>
<p class="MsoNormal"> * Functional GRIDs</p>
<p class="MsoNormal"> * Functional Programming Ideas in Imperative or Object-Oriented</p>
<p class="MsoNormal"> Settings (and the converse)</p>
<p class="MsoNormal"> * Interoperability with Imperative Programming Languages</p>
<p class="MsoNormal"> * Novel Memory Management Techniques</p>
<p class="MsoNormal"> * Parallel/Concurrent Functional Languages</p>
<p class="MsoNormal"> * Program Transformation Techniques</p>
<p class="MsoNormal"> * Empirical Performance Studies</p>
<p class="MsoNormal"> * Abstract/Virtual Machines and Compilers for Functional Languages</p>
<p class="MsoNormal"> * New Implementation Strategies</p>
<p class="MsoNormal"> * Any new emerging trend in the functional programming area</p>
<p class="MsoNormal"> </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"> </p>
<p class="MsoNormal"> SUBMISSION AND DRAFT PROCEEDINGS</p>
<p class="MsoNormal"> </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"> </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"> </p>
<p class="MsoNormal"> POST-SYMPOSIUM REFEREEING AND PUBLICATION</p>
<p class="MsoNormal"> </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"> </p>
<p class="MsoNormal"> PROGRAM COMMITTEE</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> * Peter Achten (symp-chair), Radboud University Nijmegen, NL</p>
<p class="MsoNormal"> * John Clements, California Polytechnic State University, USA</p>
<p class="MsoNormal"> * Cormac Flanagan, University of California at Santa Cruz, USA</p>
<p class="MsoNormal"> * Jurriaan Hage, Utrecht University, NL</p>
<p class="MsoNormal"> * Kevin Hammond, University of St. Andrews, UK</p>
<p class="MsoNormal"> * Michael Hanus, Christian-Albrechts University zu Kiel, DE</p>
<p class="MsoNormal"> * Ralf Hinze, University of Oxford, UK</p>
<p class="MsoNormal"> * Zoltan Horvath (PC co-chair), Eotvos Lorand University, HU</p>
<p class="MsoNormal"> * Graham Hutton, University of Nottingham, UK</p>
<p class="MsoNormal"> * Johan Jeuring, Utrecht University, NL</p>
<p class="MsoNormal"> * Pieter Koopman (symp-chair), Radboud University Nijmegen, NL</p>
<p class="MsoNormal"> * Hans-Wolfgang Loidl, Ludwig-Maximilians University Munchen, DE</p>
<p class="MsoNormal"> * Rita Loogen, Philipps-University Marburg, DE</p>
<p class="MsoNormal"> * Greg Michaelson, Heriot-Watt University, UK</p>
<p class="MsoNormal"> * Marco T. Morazan, Seton Hall University, USA</p>
<p class="MsoNormal"> * Rex L Page, University of Oklahoma, USA</p>
<p class="MsoNormal"> * Sven-Bodo Scholz, University of Hertfordshire, UK</p>
<p class="MsoNormal"> * Clara Segura, University Complutense de Madrid, ES</p>
<p class="MsoNormal"> * Mary Sheeran, Chalmers University of Technology, SE</p>
<p class="MsoNormal"> * Phil Trinder, Heriot-Watt University, UK</p>
<p class="MsoNormal"> * Marko van Eekelen, Radboud University Nijmegen, NL</p>
<p class="MsoNormal"> * Varmo Vene, University of Tartu, EE</p>
<p class="MsoNormal"> * Viktoria Zsok (PC co-chair), Eotvos Lorand University, HU</p>
<p class="MsoNormal"> </p>
<p class="MsoNormal"> LOCATION</p>
<p class="MsoNormal"> </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"> </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"> </p>
<p class="MsoNormal"> </p>
</div>
</div>
</body>
</html>