Advanced Functional Programming: early registration one week away.

Johan Jeuring johanj@cs.uu.nl
Wed, 8 May 2002 12:38:19 +0200


--Apple-Mail-1--402573038
Content-Transfer-Encoding: quoted-printable
Content-Type: text/plain;
	charset=ISO-8859-1;
	format=flowed

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

-- Johan Jeuring


Summer School and Workshop on
Advanced Functional Programming

http://www.functional-programming.org/afp/afp4

St Anne's College, Oxford
19th to 24th August 2002

Overview

In this school we want to bring computer scientists, in particular young=20=

researchers and programmers, up to date with the latest advanced=20
functional programming techniques. We do this by using advanced=20
functional programming techniques in "programming in the real world".=20
Thus we hope to bridge the gap between results presented at programming=20=

conferences and material from introductory textbooks on functional=20
programming.

This is the fourth advanced functional programming school. The previous=20=

schools were held in Bastad (Sweden, LNCS 925), Olympia (Washington,=20
USA, LNCS 1129), and Braga (Portugal, LNCS 1608). Each of these schools=20=

was considered an interesting and great experience by almost all=20
participants.=A0

There will be a number of in depth lectures about advanced functional=20
programming techniques, taught by the experts in the field. Lectures are=20=

aimed especially at showing new programming techniques, introducing new=20=

language constructs, and presenting interesting application areas.=20
Another important goal is to provide that kind of information which=20
enables participants to use functional programming in their daily life,=20=

after returning from the school.=A0

The lectures are accompanied by practical problems to be solved by the=20=

participants at the school: the school emphasises learning by doing.

We expect that the ancient university town Oxford will add an extra=20
dimension to the school.

Lecturers

Richard Bird and Jeremy Gibbons (University of Oxford):
Arithmetic Coding with Folds and Unfolds



Manuel Chakravarty (University of New South Wales):
Fast Arrays in Haskell



Matthias Felleisen (Northeastern University, Boston):
Developing Interactive Web Programs in DrScheme



C=E9dric Fournet (Microsoft Research) and Fabrice Le Fessant (INRIA=20
Rocquencourt):
Jocaml3, a Language for Concurrent, Distributed and Mobile Programming



Paul Hudak (Yale University):
Robots, Arrows and Functional Reactive Programming



Koen Claessen (Chalmers University of Technology) and Colin Runciman=20
(University of York):
Testing and Tracing Lazy Functional Programs



Philip Wadler (Avaya Labs):
XQuery: A Typed Functional Language for Querying XML


--Apple-Mail-1--402573038
Content-Transfer-Encoding: quoted-printable
Content-Type: text/enriched;
	charset=ISO-8859-1

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><bigg=
er>http://www.functional-programming.org/afp/afp4</bigger></color></underl=
ine></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.=A0


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.=A0


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=E9dric
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>



--Apple-Mail-1--402573038--