The early registration deadline for the AFP school is May 17.


-- Johan Jeuring



<center><bold><bigger><bigger><bigger><bigger><bigger><bigger>Summer
School and Workshop on

<italic>Advanced Functional Programming</italic></bigger></bigger></bigger></bigger></bigger></bigger></bold>

</center>

<center><bold><italic><underline><color><param>1A1A,1A1A,FFFF</param><bigger>http://www.functional-programming.org/afp/afp4</bigger></color></underline></italic></bold>

</center>

<center><bold><bigger><bigger><bigger>St Anne's College, Oxford

19th to 24th August 2002</bigger></bigger></bigger></bold>

</center>

<bold><bigger>Overview</bigger></bold>


In this school we want to bring computer scientists, in particular
young researchers and programmers, up to date with the latest advanced
functional programming techniques. We do this by using advanced
functional programming techniques in "programming in the real world".
Thus we hope to bridge the gap between results presented at
programming conferences and material from introductory textbooks on
functional programming.


This is the fourth advanced functional programming school. The
previous schools were held in Bastad (Sweden, LNCS 925), Olympia
(Washington, USA, LNCS 1129), and
<underline><color><param>1A1A,1A1A,FFFF</param>Braga</color></underline>
(Portugal, LNCS 1608). Each of these schools was considered an
interesting and great experience by almost all participants. 


There will be a number of in depth lectures about advanced functional
programming techniques, taught by <bold>the</bold> experts in the
field. Lectures are aimed especially at showing new programming
techniques, introducing new language constructs, and presenting
interesting application areas. Another important goal is to provide
that kind of information which enables participants to use functional
programming in their daily life, after returning from the school. 


The lectures are accompanied by practical problems to be solved by the
participants at the school: the school emphasises learning by doing.


We expect that the ancient university town
<underline><color><param>1A1A,1A1A,FFFF</param>Oxford</color></underline>
will add an extra dimension to the school.


<bold><bigger>Lecturers</bigger></bold>


<bold><underline><color><param>1A1A,1A1A,FFFF</param>Richard
Bird</color></underline></bold> and
<bold><underline><color><param>1A1A,1A1A,FFFF</param>Jeremy
Gibbons</color></underline></bold> (University of Oxford):

<italic>Arithmetic Coding with Folds and Unfolds</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Manuel
Chakravarty</color></underline></bold> (University of New South Wales):

<italic>Fast Arrays in Haskell</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Matthias
Felleisen</color></underline></bold> (Northeastern University, Boston):

<italic>Developing Interactive Web Programs in DrScheme</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Cédric
Fournet</color></underline></bold> (Microsoft Research) and
<bold><underline><color><param>1A1A,1A1A,FFFF</param>Fabrice Le
Fessant</color></underline></bold> (INRIA Rocquencourt):

<italic>Jocaml3, a Language for Concurrent, Distributed and Mobile
Programming</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Paul
Hudak</color></underline></bold> (Yale University):

<italic>Robots, Arrows and Functional Reactive Programming</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Koen
Claessen</color></underline></bold> (Chalmers University of
Technology) and
<bold><underline><color><param>1A1A,1A1A,FFFF</param>Colin
Runciman</color></underline></bold> (University of York):

<italic>Testing and Tracing Lazy Functional Programs</italic>




<bold><underline><color><param>1A1A,1A1A,FFFF</param>Philip
Wadler</color></underline></bold> (Avaya Labs):

<italic>XQuery: A Typed Functional Language for Querying XML</italic>