--------------------------------------------------------------------------
THIRD INTERNATIONAL SUMMER SCHOOL ON
A D V A N C E D F U N C T I O N A L P R O G R A M M I N G
--------------------------------------------------------------------------
12 - 19, September, 1998
University of Minho
Braga
Portugal
INVITED LECTURERS: SCIENTIFIC EDITORS
Lex Augusteijn, Philips Research Pedro Henriques, Minho
Lennart Augustsson, Chalmers Doaitse Swierstra, Utrecht
Roland Backhouse, Eindhoven Jose Oliveira, Minho
Johan Jeuring, Utrecht
Daan Leijen, Utrecht
Rafael Lins, Recife
Erik Meijer, Utrecht +-----------------------------------+
Oege de Moor, Oxford | PROGRAM & REGISTRATION AT: |
Jose Oliveira, Minho | |
Joao Saraiva, Minho | http://www.di.uminho.pt/~afp |
Tim Sheard, Oregon +-----------------------------------+
Doaitse Swierstra, Utrecht
--------------------------------------------------------------------------
OVERVIEW
--------------------------------------------------------------------------
After two successful schools on Advanced Functional Programming, which
were held in Bastad (Springer LNCS 925) and Portland (Springer LNCS 1129),
a third school will be organized in Braga, Portugal, by the Department of
Computer Science of the University of Minho, from 12th to 19th September,
1998.
The primary aim of this series of schools is to make the participants
acquainted with recent developments in the area of Functional Programming.
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 school emphasizes LEARNING BY DOING. Thus a substantial amount of time
is reserved for actually using the ideas presented in the lectures in
programming exercises. During the course students will be challenged to solve
a number of exercises in generic program construction by interaction with the
lecturer, and by working together on problems.
Most of the lectures in this Summer School are aimed at some aspect of
GENERIC PROGRAMMING
i.e., programming in a "data-type independent" way. Generic programming has
a number of advantages. It makes it possible to write programs that solve a
class of problems once and for all, instead of writing new code over and over
again for each different instance.
The School will integrate 7 regular courses, 2 invited lectures and a Haskell
tutorial. A detailed schedule is available form the School's homepage.
A WORKSHOP for PhD Students is also planned for Friday, 18th. Everyone
intending to make a presentation should submit an extended abstract along
with the registration form.
--------------------------------------------------------------------------
VENUE
--------------------------------------------------------------------------
The Summer School will be held in Braga, an ancient town in the
north-west corner of Portugal, located 50 km from Oporto and 30 km
from the seaside. A parallel cultural program will enable participants to
get in touch with the region and the local academic traditions.
Both the scientific sessions, meals and accommodation will be located at
Casa do Espirito Santo, on the top of a hill surrounding the town.
This self-contained and quiet environment will hopefully provide for maximal
interaction between the participants and a good working atmosphere.
Braga has fast train and motorway connections to Lisbon, the city which is
hosting the celebrations of the 5th centenary of Vasco da Gama's arrival
in India. A world exhibition --- Expo'98 --- will be held until the end
of September on the theme "The oceans: a heritage for the future".
--------------------------------------------------------------------------
REGISTRATION
--------------------------------------------------------------------------
Registration can be made directly from the School's homepage or by
electronic mail to the address below, until 25th JULY.
The School fee, including accommodation in double room, full boarding
and documentation, is PTE 75 000. Late registrations will be
accepted until September, the 1st, but charged with an additional
fee of PTE 25 000 (1 USD = 184 PTE).
For additional information contact:
+-------------------------------------+
| AFP |
| Carla Oliveira |
| Univ. Minho, CIUM |
| Campus de Gualtar -- 4710 Braga |
| Portugal |
| |
| Email: [EMAIL PROTECTED] |
| Phone: 351-53-604140 |
| Fax: 351-53-678484 |
| Web: http://www.di.uminho.pt/~afp |
+-------------------------------------+
