<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: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 style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Second call for papers<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> 10th SYMPOSIUM ON TRENDS IN FUNCTIONAL PROGRAMMING<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> TFP 2009<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> June 2-4, 2009<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> http://www.inf.elte.hu/tfp_cefp_2009<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>*** The registration and paper submission is now
open! ***<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>The symposium on Trends in Functional Programming
(TFP) is an<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>international forum for researchers with interests
in all aspects of<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>functional programming languages, focusing on
providing a broad view of<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>current and future trends in Functional Programming.
It aspires to be a<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>lively environment for presenting the latest
research results. Acceptance<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>for the conference is based on full papers or
extended abstracts, and a<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>formal post-symposium refereeing process selects the
best articles<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>presented at the symposium for publication in a
high-profile volume.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>TFP 2009 is hosted by the Selye Janos University,
Komarno, Slovakia, and<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>it is co-located with the 3rd Central-European
Functional Programming<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>School (CEFP 2009), which is held immediately before
TFP 2009 (May 25-30).<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> IMPORTANT DATES (ALL 2009)<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Paper Submission: March 31 (extended)<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Notification of Acceptance: April 9<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Camera Ready Symposium Proceedings Paper:
April 24<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * TFP Symposium: June 2-4, 2009<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Post Symposium Paper Submission: June 30<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Notification of Acceptance: September 7<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Camera Ready Revised Paper: September 21<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> SCOPE OF THE SYMPOSIUM<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>As part of the Symposium's focus on trends we
therefore identify<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>the following five article categories. High-quality
articles are<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>solicited in any of these categories:<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Research: leading-edge, previously unpublished
research.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Position: on what new trends should or should
not be.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Project: descriptions of recently started new
projects.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Evaluation: what lessons can be drawn from a
finished project.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Overview: summarizing work with respect to a
trendy subject.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Articles must be original and not submitted for
simultaneous publication<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>to any other forum. They may consider any aspect of
functional<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>programming: theoretical, implementation-oriented,
or more experience-<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>oriented. Applications of functional programming
techniques to other<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>languages are also within the scope of the
symposium. Contributions on<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>the following subject areas are particularly
welcomed:<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Dependently Typed Functional Programming<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Validation and Verification of Functional
Programs<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Debugging for Functional Languages<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Programming and Security<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Programming and Mobility<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Programming to
Animate/Prototype/Implement Systems from<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> Formal or Semi-Formal Specifications<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Languages for Telecommunications
Applications<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Languages for Embedded Systems<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Programming Applied to Global
Computing<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional GRIDs<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Functional Programming Ideas in Imperative or
Object-Oriented<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> Settings (and the converse)<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Interoperability with Imperative Programming
Languages<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Novel Memory Management Techniques<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Parallel/Concurrent Functional Languages<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Program Transformation Techniques<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Empirical Performance Studies<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Abstract/Virtual Machines and Compilers for
Functional Languages<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * New Implementation Strategies<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Any new emerging trend in the functional
programming area<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>If you are in doubt on whether your article is
within the scope of TFP,<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>please contact the TFP 2009 program chairs, Zoltan
Horvath and Viktoria<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Zsok at tfp2009@inf.elte.hu<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> SUBMISSION AND DRAFT PROCEEDINGS<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Acceptance of articles for presentation at the
symposium is based on the<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>screening process of full papers (15 pages) and
extended abstracts <o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>(at least 3 pages). TFP encourages PhD students to
submit papers.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>PhD students may request the program committee to
provide extensive<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>feedback on their full papers at the time of
submission. Full papers<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>describing work accepted for presentation must be
completed before the<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>symposium for publication in the draft proceedings.
Further details can<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>be found at the TFP 2009 website.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> POST-SYMPOSIUM REFEREEING AND PUBLICATION<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>In addition to the draft symposium proceedings, we
continue the TFP<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>tradition of publishing a high-quality subset of
contributions in the<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Intellect series on Trends in Functional
Programming.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> PROGRAM COMMITTEE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Peter Achten (symp-chair), Radboud University
Nijmegen, NL<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * John Clements, California Polytechnic State
University, USA<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Cormac Flanagan, University of California at
Santa Cruz, USA<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Jurriaan Hage, Utrecht University, NL<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Kevin Hammond, University of St. Andrews, UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Michael Hanus, Christian-Albrechts University
zu Kiel, DE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Ralf Hinze, University of Oxford, UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Zoltan Horvath (PC co-chair), Eotvos Lorand
University, HU<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Graham Hutton, University of Nottingham, UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Johan Jeuring, Utrecht University, NL<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Pieter Koopman (symp-chair), Radboud
University Nijmegen, NL<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Hans-Wolfgang Loidl, Ludwig-Maximilians
University Munchen, DE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Rita Loogen, Philipps-University Marburg, DE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Greg Michaelson, Heriot-Watt University, UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Marco T. Morazan, Seton Hall University, USA<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Rex L Page, University of Oklahoma, USA<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Sven-Bodo Scholz, University of Hertfordshire,
UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Clara Segura, University Complutense de
Madrid, ES<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Mary Sheeran, Chalmers University of
Technology, SE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Phil Trinder, Heriot-Watt University, UK<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Marko van Eekelen, Radboud University
Nijmegen, NL<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Varmo Vene, University of Tartu, EE<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> * Viktoria Zsok (PC co-chair), Eotvos Lorand
University, HU<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'> LOCATION<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>The Conference Centre of Selye University, Komarno,
Slovakia<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>(http://www.selyeuni.sk/) is a new and excellent
conference centre with<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>modern equipment, lecture rooms and computer labs.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Komarno is on the north bank of river Danube, the
northern part of the<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>city Komarom / Komarno. It is a charming old city
with about 30 000<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>inhabitants, 90 km away from Budapest (the capital
of Hungary), with<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>good highway and railway connections and 90 km away
from<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Bratislava (the capital of Slovakia), about 100 km
from Vienna International<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'>Airport.<o:p></o:p></span></p>
<p class=MsoNormal style='text-autospace:none'><span style='font-size:10.0pt;
font-family:"Courier New"'><o:p> </o:p></span></p>
<div style='mso-element:para-border-div;border:none;border-bottom:solid windowtext 1.0pt;
padding:0cm 0cm 1.0pt 0cm'>
<p class=MsoNormal style='text-autospace:none;border:none;padding:0cm'><span
style='font-size:10.0pt;font-family:"Courier New"'><o:p> </o:p></span></p>
</div>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Call for participation<o:p></o:p></p>
<p class=MsoNormal>3rd CENTRAL EUROPEAN FUNCTIONAL PROGRAMMING SCHOOL CEFP 2009<o:p></o:p></p>
<p class=MsoNormal>SELYE JANOS UNIVERSITY, KOMARNO, SLOVAKIA<o:p></o:p></p>
<p class=MsoNormal>May 25-30, 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 registration is now open! ***<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The Central European Functional Programming School (CEFP) is<o:p></o:p></p>
<p class=MsoNormal>organised every second year (2005 Budapest - LNCS vol. 4164,<o:p></o:p></p>
<p class=MsoNormal>2007 Cluj-Napoca - LNCS vol. 5161, 2009 Komarno). It is the<o:p></o:p></p>
<p class=MsoNormal>Central European counterpart of the Advanced Functional<o:p></o:p></p>
<p class=MsoNormal>Programming school with the additional goal to stimulate<o:p></o:p></p>
<p class=MsoNormal>students from Central Europe to attend.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>GOALS<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>* Bring together computer scientists, in particular
motivated graduate<o:p></o:p></p>
<p class=MsoNormal>and PhD students, and make them familiar with the latest
functional<o:p></o:p></p>
<p class=MsoNormal>programming techniques.<o:p></o:p></p>
<p class=MsoNormal>* Show the use of advanced functional programming techniques
in real<o:p></o:p></p>
<p class=MsoNormal>world applications.<o:p></o:p></p>
<p class=MsoNormal>* Bridge the gap between recent results presented at
programming<o:p></o:p></p>
<p class=MsoNormal>conferences and material from introductory textbooks on
functional<o:p></o:p></p>
<p class=MsoNormal>programming.<o:p></o:p></p>
<p class=MsoNormal>* Provide a forum for PhD students to present their research
results as<o:p></o:p></p>
<p class=MsoNormal>part of the workshop programme and submit the full paper
version after<o:p></o:p></p>
<p class=MsoNormal>the summer school. Selected and reviewed papers will be
published in the<o:p></o:p></p>
<p class=MsoNormal>LNCS Volume of the revised lectures.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>INVITED LECTURERS<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Our invited lecturers are top experts, professors and
researchers from<o:p></o:p></p>
<p class=MsoNormal>Europe and the US.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Francesco Cesarini:<o:p></o:p></p>
<p class=MsoNormal> OTP Design Patterns<o:p></o:p></p>
<p class=MsoNormal> (Erlang Training and Consulting Ltd, London, UK)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Francesco Cesarini is owner and founder of Erlang
Training and<o:p></o:p></p>
<p class=MsoNormal> Consulting Ltd, a company specialised in high
availability,<o:p></o:p></p>
<p class=MsoNormal> massively concurrent soft real time systems.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Prof. Rinus Plasmeijer, Pieter Koopman:<o:p></o:p></p>
<p class=MsoNormal> An effective methodology for defining consistent
semantics of<o:p></o:p></p>
<p class=MsoNormal> complex systems<o:p></o:p></p>
<p class=MsoNormal> (Radboud University Nijmegen, The Netherlands)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Rinus Plasmeijer is chief designer of the functional
programming<o:p></o:p></p>
<p class=MsoNormal> language Clean, member of IFIP WG 2.8., Head of
Software Research<o:p></o:p></p>
<p class=MsoNormal> Group, University Nijmegen, The Netherlands.<o:p></o:p></p>
<p class=MsoNormal> Currently he is applying advanced functional
programming<o:p></o:p></p>
<p class=MsoNormal> techniques to enable model driven software
development.<o:p></o:p></p>
<p class=MsoNormal> He is working on the iTask system which enables the
high-level<o:p></o:p></p>
<p class=MsoNormal> specification of multi-user workflow systems for the
web.<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
<p class=MsoNormal> Pieter Koopman's research is related to functional
programming<o:p></o:p></p>
<p class=MsoNormal> (especially the Clean language), and specification
languages.<o:p></o:p></p>
<p class=MsoNormal> Currently he is using Clean functions as
specifications for the<o:p></o:p></p>
<p class=MsoNormal> Generic Automatic Software Test-system (Gast). Earlier
he was<o:p></o:p></p>
<p class=MsoNormal> involved in project about parser combinators and
implicit<o:p></o:p></p>
<p class=MsoNormal> surfaces.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Matthew Fluet:<o:p></o:p></p>
<p class=MsoNormal> Programming in Manticore, a heterogenous parallel
language<o:p></o:p></p>
<p class=MsoNormal> (Toyota Technological Institute at Chicago, USA)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Matthew Fluet is active developer of MLton: an
open-source,<o:p></o:p></p>
<p class=MsoNormal> whole-program, optimizing Standard ML compiler. He is<o:p></o:p></p>
<p class=MsoNormal> collaborating on the development of Manticore: a
heterogeneous<o:p></o:p></p>
<p class=MsoNormal> parallel programming language aimed at general-purpose<o:p></o:p></p>
<p class=MsoNormal> applications running on multi-core processors. As a
programming<o:p></o:p></p>
<p class=MsoNormal> languages researcher, he is working on the
opportunities for<o:p></o:p></p>
<p class=MsoNormal> mechanizing reasoning about programming languages.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Prof. Ralf Hinze:<o:p></o:p></p>
<p class=MsoNormal> Reasoning about codata<o:p></o:p></p>
<p class=MsoNormal> (University of Oxford and Kellogg College, UK)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Ralf Hinze's research centers around functional
programming,<o:p></o:p></p>
<p class=MsoNormal> particularly interested in functional algorithm design
and purely<o:p></o:p></p>
<p class=MsoNormal> functional data structures. At the moment he is mainly
working on<o:p></o:p></p>
<p class=MsoNormal> generic functional programming (Generic Haskell). In
the past he<o:p></o:p></p>
<p class=MsoNormal> worked on strictness analysis and type systems.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Prof. Mary Sheeran:<o:p></o:p></p>
<p class=MsoNormal> Fun with combinators in Haskell<o:p></o:p></p>
<p class=MsoNormal> (Chalmers University of Technology, Gothenburg,
Sweden)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Mary Sheeran's research interests are in functional
programming,<o:p></o:p></p>
<p class=MsoNormal> and particularly its application to designing and
analysing<o:p></o:p></p>
<p class=MsoNormal> hardware and hardware-like systems. She has worked on
domain<o:p></o:p></p>
<p class=MsoNormal> specific languages (DSLs) for hardware design (Lava,
Wired) and is<o:p></o:p></p>
<p class=MsoNormal> currently working with Ericsson and ELTE to develop a
DSL for<o:p></o:p></p>
<p class=MsoNormal> Digital Signal Processing.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Prof. John Hughes:<o:p></o:p></p>
<p class=MsoNormal> QuickCheck, with a focus on industrial applications<o:p></o:p></p>
<p class=MsoNormal> (http://quviq.com/)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Research interests of John Hughes include type systems
and formal<o:p></o:p></p>
<p class=MsoNormal> semantics for programming languages, optimizing
compilation,<o:p></o:p></p>
<p class=MsoNormal> functional programming, and high-level language
interoperability.<o:p></o:p></p>
<p class=MsoNormal> He is currently working in the following projects:
Combining<o:p></o:p></p>
<p class=MsoNormal> Verification Methods in Software Development (Cover)
and Flexible<o:p></o:p></p>
<p class=MsoNormal> System-on-Chip Platforms for Embedded Applications
(FlexSoC)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * Andrew Kennedy:<o:p></o:p></p>
<p class=MsoNormal> Advanced type systems for functional programming<o:p></o:p></p>
<p class=MsoNormal> (Microsoft Research, Cambridge, England)<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
<p class=MsoNormal> Research interests of Andrew Kennedy include type
systems and<o:p></o:p></p>
<p class=MsoNormal> formal semantics for programming languages, optimizing<o:p></o:p></p>
<p class=MsoNormal> compilation, functional programming, and high-level
language<o:p></o:p></p>
<p class=MsoNormal> interoperability.<o:p></o:p></p>
<p class=MsoNormal> <o:p></o:p></p>
<p class=MsoNormal> * Adam Granicz:<o:p></o:p></p>
<p class=MsoNormal> Advanced F# Programming<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> Adam Granicz is founder/CEO of Intellifactory Ltd. and
he is a<o:p></o:p></p>
<p class=MsoNormal> co-author of the Expert F# book. His research
interests are formal<o:p></o:p></p>
<p class=MsoNormal> environments and compilers, resource planning, and
extensible<o:p></o:p></p>
<p class=MsoNormal> compilers.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>PROGRAMME<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>At the beginning of CEFP 2009 we make functional programming<o:p></o:p></p>
<p class=MsoNormal>warm-up sessions starting on 21 May 2009.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>The summer school's programme includes:<o:p></o:p></p>
<p class=MsoNormal>* In depth lectures about a selected number of recently
emerged advanced<o:p></o:p></p>
<p class=MsoNormal>functional programming techniques, taught by experts in the
field.<o:p></o:p></p>
<p class=MsoNormal>* Practical exercises accompanying the lectures to be solved
by the<o:p></o:p></p>
<p class=MsoNormal>students at the school. These exercises guide the students'
learning to<o:p></o:p></p>
<p class=MsoNormal>a great extent. A high quality lab is available at the
school site.<o:p></o:p></p>
<p class=MsoNormal>* Team work is stimulated, such that the students can also
learn from<o:p></o:p></p>
<p class=MsoNormal>each other.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>CEFP 2009 is co-located with the 10th Symposium on Trends in
Functional<o:p></o:p></p>
<p class=MsoNormal>Programming (TFP 2009, June 2-4), which is held after the
summer school.<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>(http://www.selyeuni.sk/) 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 motorway and railway connections and 90 km away from
Bratislava<o:p></o:p></p>
<p class=MsoNormal>(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>ACCOMMODATION<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal> * hotels (from 30-66 Euro/night)<o:p></o:p></p>
<p class=MsoNormal> * meals at the university canteen of the Conference
Centre (included<o:p></o:p></p>
<p class=MsoNormal> in the registration fee)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>LOCAL ARRANGEMENTS TEAM - CHAIR/CO-CHAIRS<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>OC Chairs:<o:p></o:p></p>
<p class=MsoNormal> * Zoltan Horvath<o:p></o:p></p>
<p class=MsoNormal> * Viktoria Zsok<o:p></o:p></p>
<p class=MsoNormal> (Eotvos Lorand University, Budapest)<o:p></o:p></p>
<p class=MsoNormal> * Rinus Plasmeijer<o:p></o:p></p>
<p class=MsoNormal> (Radboud University, Nijmegen)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Local Co-chair of OC:<o:p></o:p></p>
<p class=MsoNormal> * Veronika Stoffa, vice-rector<o:p></o:p></p>
<p class=MsoNormal> (Selye Janos University, Komarno)<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
<p class=MsoNormal>Further details can be found at the CEFP website.<o:p></o:p></p>
<p class=MsoNormal><o:p> </o:p></p>
</div>
</body>
</html>