and will be
judged based on their significance, technical merit, and relevance
to the conference.
The proceedings of AMAST '06 will be published in the Lecture Notes
in Computer Science series of Springer-Verlag.
Programme Committee
Michael Johnson, Macquarie University (co-chair)
Varmo Vene
cience series of Springer-Verlag.
Programme Committee
Michael Johnson, Macquarie University (co-chair)
Varmo Vene, University of Tartu (co-chair)
Luís Barbosa, Universidade do Minho
Gilles Barthe, INRIA Sophia-Antipolis
Michel Bidoit, École Normale Supérieure de Cachan
Gregor v. Bochmann, Universi
Functional
Programming Schools, consisting of
Pedro Henriques
Johan Jeuring
Erik Meijer
Greg Morrisett
Chris Okasaki
Jose Oliveira
Simon Peyton Jones
Tim Sheard
Doaitse Swierstra
Tarmo Uustalu
Varmo Vene
Phil Wadler
Submit your proposal to [EMAIL PROTECTED] on or before
February 1, 2005
conference dinner.
Programme committee / organizing committee
Varmo Vene (Tartu University)
Tarmo Uustalu (Inst. of Cybernetics, Tallinn)
Johan Jeuring (Utrecht University)
Sponsors
Centers of Excellence in Research Programme of Ministry of Education
and Research of Estonia
Further i
ee 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)
Tar