<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>Third 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> <a href="http://www.inf.elte.hu/tfp_cefp_2009">http://www.inf.elte.hu/tfp_cefp_2009</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>*** Submission deadline extended until 10th of May! ***<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. Acceptance<o:p></o:p></p>
<p class=MsoNormal>for the conference is based on full papers or extended
abstracts, and a<o:p></o:p></p>
<p class=MsoNormal>formal post-symposium refereeing process selects the best
articles<o:p></o:p></p>
<p class=MsoNormal>presented at the 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 Janos 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: May 10 (extended)<o:p></o:p></p>
<p class=MsoNormal> * Notification of Acceptance: May 12<o:p></o:p></p>
<p class=MsoNormal> * Camera Ready Symposium Proceedings
Paper: May 14<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>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, Zoltan Horvath
and Viktoria<o:p></o:p></p>
<p class=MsoNormal>Zsok at <a href="mailto:tfp2009@inf.elte.hu">tfp2009@inf.elte.hu</a><o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> SUBMISSION AND DRAFT PROCEEDINGS<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Acceptance of articles for presentation at the symposium is
based on the<o:p></o:p></p>
<p class=MsoNormal>screening process of full papers (15 pages) and extended
abstracts <o:p></o:p></p>
<p class=MsoNormal>(at least 3 pages). TFP encourages PhD students to submit
papers.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>PhD students may request the program committee to provide
extensive<o:p></o:p></p>
<p class=MsoNormal>feedback on their full papers at the time of submission.
Full papers<o:p></o:p></p>
<p class=MsoNormal>describing work accepted for presentation must be completed
before the<o:p></o:p></p>
<p class=MsoNormal>symposium for publication in the draft proceedings. Further
details can<o:p></o:p></p>
<p class=MsoNormal>be found at the TFP 2009 website.<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>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> PROGRAM COMMITTEE<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Peter Achten (symp-chair), Radboud
University Nijmegen, NL<o:p></o:p></p>
<p class=MsoNormal> * John Clements, California Polytechnic
State University, USA<o:p></o:p></p>
<p class=MsoNormal> * Cormac Flanagan, University of
California at Santa Cruz, USA<o:p></o:p></p>
<p class=MsoNormal> * Jurriaan Hage, Utrecht University, NL<o:p></o:p></p>
<p class=MsoNormal> * Kevin Hammond, University of St.
Andrews, UK<o:p></o:p></p>
<p class=MsoNormal> * Michael Hanus, Christian-Albrechts
University zu Kiel, DE<o:p></o:p></p>
<p class=MsoNormal> * Ralf Hinze, University of Oxford, UK<o:p></o:p></p>
<p class=MsoNormal> * Zoltan Horvath (PC co-chair),
Eotvos Lorand University, HU<o:p></o:p></p>
<p class=MsoNormal> * Graham Hutton, University of
Nottingham, UK<o:p></o:p></p>
<p class=MsoNormal> * Johan Jeuring, Utrecht University, NL<o:p></o:p></p>
<p class=MsoNormal> * Pieter Koopman (symp-chair), Radboud
University Nijmegen, NL<o:p></o:p></p>
<p class=MsoNormal> * Hans-Wolfgang Loidl, Ludwig-Maximilians
University Munchen, DE<o:p></o:p></p>
<p class=MsoNormal> * Rita Loogen, Philipps-University
Marburg, DE<o:p></o:p></p>
<p class=MsoNormal> * Greg Michaelson, Heriot-Watt
University, UK<o:p></o:p></p>
<p class=MsoNormal> * Marco T. Morazan, Seton Hall
University, USA<o:p></o:p></p>
<p class=MsoNormal> * Rex L Page, University of Oklahoma, USA<o:p></o:p></p>
<p class=MsoNormal> * Sven-Bodo Scholz, University of
Hertfordshire, UK<o:p></o:p></p>
<p class=MsoNormal> * Clara Segura, University Complutense de
Madrid, ES<o:p></o:p></p>
<p class=MsoNormal> * Mary Sheeran, Chalmers University of
Technology, SE<o:p></o:p></p>
<p class=MsoNormal> * Phil Trinder, Heriot-Watt University,
UK<o:p></o:p></p>
<p class=MsoNormal> * Marko van Eekelen, Radboud University
Nijmegen, NL<o:p></o:p></p>
<p class=MsoNormal> * Varmo Vene, University of Tartu, EE<o:p></o:p></p>
<p class=MsoNormal> * Viktoria Zsok (PC co-chair), Eotvos
Lorand University, HU<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> LOCATION<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The Conference Centre of Selye University, Komarno, Slovakia<o:p></o:p></p>
<p class=MsoNormal>(<a href="http://www.selyeuni.sk/">http://www.selyeuni.sk/</a>)
is a new and excellent conference centre with<o:p></o:p></p>
<p class=MsoNormal>modern equipment, lecture rooms and computer labs.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Komarno is on the north bank of river Danube, the northern
part of the<o:p></o:p></p>
<p class=MsoNormal>city Komarom / Komarno. It is a charming old city with about
30 000<o:p></o:p></p>
<p class=MsoNormal>inhabitants, 90 km away from Budapest (the capital of
Hungary), with<o:p></o:p></p>
<p class=MsoNormal>good highway and railway connections and 90 km away from<o:p></o:p></p>
<p class=MsoNormal>Bratislava (the capital of Slovakia), about 100 km from
Vienna International<o:p></o:p></p>
<p class=MsoNormal>Airport.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>