[Haskell] AFP 2004 - Call for Participation

[afp04 at cs.ut.ee]

[Early registration deadline: 14 May 2004.]


                          Call for Participation

                                 AFP 2004
                     5th International Summer School on
                       Advanced Functional Programming
                              Tartu, Estonia
                             14-21 August 2004

                        http://www.cs.ut.ee/afp04

AFP is a series of international summer schools which aims to bring computer 
scientist, in particular young researchers and programmers, up to date with 
the latest advances in practical functional programming. The main focus of the 
school is on the interface between results presented at programming 
conferences and the programming in the real world.

This is the fifth event in the series organized by the Department of Computer 
Science of the University of Tartu in conjuction with the Centre for 
Dependable Computing. The previous schools were held in Båstad (Sweden, 1995), 
Olympia (Washington, USA, 1996), Braga (Portugal, 1998) and Oxford (UK, 2002).


PROGRAMME

The scientific programme of AFP'04 consists of short courses by renowned 
experts of the field and a student session. The school offers eight main 
courses, each composed of lectures and accompanied by lab sessions. The course 
list is the following:

John Hughes (Chalmers University of Technology):
    Arrows

Conor McBride (University of Durham):
    Epigram: dependent types for practical programming

Alberto Pardo (Universidad de la Republica, Montevideo):
    Combining datatypes and effects

Rinus Plasmeijer (University of Nijmegen):
    Generic programming techniques for the construction of graphical user 
interfaces
    A strongly typed functional operating system based on dynamics

Bernie Pope (University of Melbourne):
    Declarative debugging with Buddha

Doaitse Swierstra (Utrecht University) and Atze Dijkstra (Utrecht University):
    Typing Haskell with an Attribute Grammar

Peter Thiemann (University of Freiburg):
    Server-side Web programming in WASH

Simon Thompson (University of Kent):
    Refactoring Functional Programs

In addition, there will be some introductory and intermediate functional 
programming courses serving as a preparation for the advanced courses.

The purpose of the student session is to give students an opportunity to 
present their work and get feedback. Everyone intending to give a presentation 
should submit an extended abstract (max 10 pp) along with the registration 
form.


VENUE

Tartu, with 100,000 inhabitants, is the second largest city in Estonia, 
situated 180 km south-east from Tallinn. Tartu University, founded 1632, is 
one of the oldest universities in Northern Europe. The school will be held in 
the new building of the Faculty of Mathematics and Computer Science. Tartu is 
accessible from Tallinn by coach. The coaches run very frequently (1-2 
departures per hour) and the ride takes 2-2.5 hrs.

Tallinn, with 400,000 inhabitants, is the capital city of Estonia, that used 
to be a member of the Hansa League. Tallinn's medieval Old Town is on the 
UNESCO World Heritage List. There are direct flights to Tallinn from London, 
Paris, Amsterdam, Frankfurt, Hamburg, Munich, Berlin, Prague, Warsaw, Moscow, 
Copenhagen, Oslo, Stockholm, Helsinki.


IMPORTANT DATES

May 14, 2004 	Early registration deadline
July 9, 2004 	Late registration deadline


REGISTRATION AND COST

The registration is done through internet (http://www.cs.ut.ee/afp04/submreg.ht
ml). The deadline for registration is July 9, 2004 and the registration fee is 
330 EUR. For early registrants, until May 14, there is a reduced registration 
fee 280 EUR. The registration fee includes course materials distributed during 
the school, revised lecture notes published by Springer after the school, 
lunches, refreshments for coffee breaks and conference dinner.

AFP'04 is an APPSEM II affiliated event, hence APPSEM II sites can use the 
project funds to support their students' participation in the school.


PROGRAMME COMMITTEE / ORGANIZING COMMITTEE

Varmo Vene	University of Tartu 
Tarmo Uustalu	Institute of Cybernetics
Johan Jeuring	Utrecht University


SPONSORS

Ministry of Education and Research (via the centres of excellence in research 
programme)

APPSEM II - FP5 IST thematic network Applied Semantics II


CONTACT

afp04 at cs.ut.ee