[TYPES] AFP 2004 - Early registration deadline extension

Tarmo Uustalu tarmo at cs.ioc.ee
Thu May 27 23:26:01 EDT 2004


[The early registration deadline for this school on advanced functional 
programming, touching on several topics of direct relevance for TYPES,
has been extended until 11 June.]




               5th International Summer School on
                Advanced Functional Programming
                           AFP 2004
               Tartu, Estonia, 14-21 August 2004
                  http://www.cs.ut.ee/afp04

                    Call for Participation

              ******** EXTENDED DEADLINE ********
              Early registration:   June 11, 2004


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 Tartu University 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 (University 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)
      Atze Dijkstra (Utrecht University):
      First-class aspects in Haskell

      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, Berlin,
Prague, Warsaw, Moscow, Copenhagen, Oslo, Stockholm, Helsinki.


Important dates

June 11, 2004    Early registration deadline (extended)
July 9,  2004    Late registration deadline


Registration and cost

The registration is done through internet http://www.cs.ut.ee/afp04. The
deadline for registration is July 9, 2004 and the registration fee is 330
EUR. For early registrants, until June 11, 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.


Programme committee / organizing committee

Varmo Vene     (Tartu University)
Tarmo Uustalu  (Inst. of Cybernetics, Tallinn)
Johan Jeuring  (Utrecht University)


Sponsors

Tiigriülikool Programme

National Centers of Excellence in Research Programme of Ministry of Education
and Research of Estonia

APPSEM II - FP5 IST thematic network Applied Semantics II


Further information

Details on the submission of abstracts, registration procedure and cost are
available from the school webpage, http://www.cs.ut.ee/afp04. Questions
should be sent to afp04 at cs.ut.ee.







More information about the Types-list mailing list