AFP 2004

AFP is a series of international summer schools which aims to bring computer scientists, 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. It is organized by the Department of Computer Science of the University of Tartu in conjunction 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
• Labs
• List of Participants
   
• Submission, registration and cost (deadlines passed)
• Accommodation
• Venues
• Travel information
• Photos from the school: Juhan Ernits, Jevgeni Kabanov

LECTURERS

John Hughes (Chalmers University of Technology):

Programming with Arrows (abstract)

Conor McBride (University of Durham):

Epigram: Dependent Types for Practical Programming (abstract)

Alberto Pardo (University de la Republica, Montevideo):

Combining Datatypes and Effects (abstract)

Rinus Plasmeijer (University of Nijmegen):

A Strongly Typed Functional Operating System Based on Dynamics (abstract)

Generic Programming Techniques for the Construction of Graphical User Interfaces (abstract)

Bernie Pope (University of Melbourne):

Declarative Debugging with Buddha (abstract)

Doaitse Swierstra (Utrecht University) and Atze Dijkstra (Utrecht University):

Typing Haskell with an Attribute Grammar (abstract)

Peter Thiemann (University of Freiburg):

Server-side Web Programming in WASH (abstract)

Simon Thompson (University of Kent):

Refactoring Functional Programs (abstract)

The lecture notes of the school appeared as Lecture Notes in Computer Science, v. 3622 of Springer.

IMPORTANT DATES

PROGRAMME COMMITTEE / ORGANIZING COMMITTEE

SPONSORS

Tiigriülikool Programme

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

APPSEM II - FP5 IST thematic network Applied Semantics II

Organizers, afp04@cs.ut.ee Last update 16 July 2004