Workshop on Normalization by Evaluation, NBE'04

Tallinn, Estonia, 17 April 2004

List of participants

NameAffiliation  
Andreas Abel Chalmers Tekniska Högskola abel(at)informatik.uni-muenchen.de
Klaus Aehlig University of Oxford aehlig(at)comlab.ox.ac.uk
Mads Sig Ager Aarhus Universitet mads(at)brics.dk
Freiric Barral Ludwig-Maximilians-Universität München barral(at)mathematik.uni-muenchen.de
Olivier Danvy Aarhus Universitet danvy(at)brics.dk
Peter Dybjer Chalmers Tekniska Högskola peterd(at)cs.chalmers.se
Juhan Ernits Küberneetika Instituut juhan(at)cc.ioc.ee
José Espírito Santo Universidade do Minho jes(at)math.uminho.pt
Nadji Gauthier INRIA Rocquencourt Nadji.Gauthier(at)inria.fr
John Hughes Chalmers Tekniska Högskola rjmh(at)cs.chalmers.se
Felix Joachimski Ludwig-Maximilians-Universität München felix(at)joachimski.de
Julia Lawall Københavns Universitet julia(at)diku.dk
Sam Lindley University of Edinburgh Sam.Lindley(at)ed.ac.uk
Jan Midtgaard Aarhus Universitet jmi(at)brics.dk
Eugenio Moggi Università degli Studi di Genova moggi(at)disi.unige.it
Härmel Nestra Tartu Ülikool nestra(at)math.ut.ee
Didier Rémy INRIA Rocquencourt Didier.Remy(at)inria.fr
Ando Saabas Küberneetika Instituut ando(at)cs.ioc.ee
Helmut Schwichtenberg Ludwig-Maximilians-Universität München schwicht(at)mathematik.uni-muenchen.de
Thomas Streicher Technische Universität Darmstadt streicher(at)mathematik.tu-darmstadt.de
Kristian Støvring Sørensen Aarhus Universitet kss(at)brics.dk
Tarmo Uustalu Küberneetika Instituut tarmo(at)cs.ioc.ee
Varmo Vene Tartu Ülikool varmo(at)cs.ut.ee
Vesal Vojdani Tartu Ülikool vesal(at)cs.ut.ee
Nicholas Wolverson University of Edinburgh N.Wolverson(at)ed.ac.uk

Organizers, appsem04(at)cs.ioc ee
Last update 17 April 2004