--------------------------------------------------------------------------
2nd Call for Participation
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.
Most of the lectures in the Summer School are aimed at some aspect of
GENERIC PROGRAMMING i.e., programming in a "data-type independent" way.
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.
--------------------------------------------------------------------------
PROGRAM
--------------------------------------------------------------------------
Tutorial: An Introduction to Haskell
by Jose Barros & Jose Almeida
Advanced Courses: Sorting Morphisms
by Lex Augusteijn
Construction and Implementation of Generic Programs
by Roland Backhouse & Johan Jeuring
Embedding New Languages
by Doaitse Swierstra & Joao Saraiva
Scripting HaskellScript
by Erik Meijer & Daan Leijen
Transformational Development of Generic Programs
by Oege de Moor
Cayenne - Spice up your Programming with Dependent Types
by Lennart Augustsson
Metaprogramming with MetaML
by Tim Sheard
Invited Lectures: The Fall and Rise of Functional Programming
by Rafael Lins
Data Structuring Calculation as a Basis for Information System Design
by Jose Nuno Oliveira
Workshop for PhD Students (see details in the School Homepage)
--------------------------------------------------------------------------
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.
The nearest airport is Francisco Sa Carneiro Airport in Oporto.
A transport service will be provided by the local organization
from there to Braga on Saturday, 12th.
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.
Fees & Documentation: PTE 25 000 (until 25th July)
PTE 50 000 (late registrations, until 1st September)
Accommodation: PTE 50 000
(accommodation in double room with full boarding)
(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 |
+-------------------------------------+
