2nd APPSEM II Workshop, APPSEM'04

Tallinn, Estonia, 14-16 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
Sandra Alves Universidade do Porto sandra(at)ncc.up.pt
Robert Atkey University of Edinburgh R.A.Atkey(at)sms.ed.ac.uk
Freiric Barral Ludwig-Maximilians-Universität München barral(at)mathematik.uni-muenchen.de
Emmanuel Beffara Université Paris 7 beffara(at)pps.jussieu.fr
Marcin Benke Chalmers Tekniska Högskola marcin(at)cs.chalmers.se
Martin Berger Queen Mary, University of London martinb(at)dcs.qmul.ac.uk
Lennart Beringer University of Edinburgh lenb(at)inf.ed.ac.uk
Nicolas Biri LORIA - UHP Nancy 1 biri(at)loria.fr
Guillaume Bonfante LORIA bonfante(at)loria.fr
Olivier Bournez LORIA - INRIA Lorraine bournez(at)loria.fr
Antonio Bucciarelli Université Paris 7 buccia(at)pps.jussieu.fr
David Cachera IRISA David.Cachera(at)irisa.fr
Luís Caires Universidade Nova de Lisboa Luis.Caires(at)di.fct.unl.pt
Dominique Cansell LORIA cansell(at)loria.fr
Juliusz Chroboczek Université Paris 7 jch(at)pps.jussieu.fr
Roy Crole University of Leicester R.Crole(at)mcs.le.ac.uk
Alcino Cunha Universidade do Minho alcino(at)di.uminho.pt
Pierre-Louis Curien Université Paris 7 - CNRS curien(at)pps.jussieu.fr
Nils Anders Danielsson Chalmers Tekniska Högskola nad(at)cs.chalmers.se
Olivier Danvy Aarhus Universitet danvy(at)brics.dk
Peter Dybjer Chalmers Tekniska Högskola peterd(at)cs.chalmers.se
Adam Eppendahl Queen Mary, University of London A.Eppendahl(at)mac.com
Johan Erikson Mälardalens Högskola Johan.Erikson(at)idt.mdh.se
Juhan Ernits Küberneetika Instituut juhan(at)cc.ioc.ee
José Espírito Santo Universidade do Minho jes(at)math.uminho.pt
Antoine Galland Gemplus Research Labs Antoine.Galland(at)gemplus.com
Didier Galmiche LORIA - UHP Nancy 1 galmiche(at)loria.fr
Nadji Gauthier INRIA Rocquencourt Nadji.Gauthier(at)inria.fr
Neil Ghani University of Leicester ng13(at)mcs.le.ac.uk
Giorgio Ghelli Università di Pisa ghelli(at)di.unipi.it
Jeremy Gibbons University of Oxford Jeremy.Gibbons(at)comlab.ox.ac.uk
Emmanuel Hainry LORIA - ENS Lyon hainry(at)loria.fr
Fritz Henglein Københavns Universitet henglein(at)diku.dk
Martin Hofmann Ludwig-Maximilians-Universität München mhofmann(at)informatik.uni-muenchen.de
John Hughes Chalmers Tekniska Högskola rjmh(at)cs.chalmers.se
Graham Hutton University of Nottingham gmh(at)cs.nott.ac.uk
Felix Joachimski Ludwig-Maximilians-Universität München felix(at)joachimski.de
Vahur Kotkas Küberneetika Instituut vahur(at)cs.ioc.ee
Jim Laird University of Sussex at Brighton jiml(at)cogs.susx.ac.uk
Dominique Larchey LORIA - CNRS larchey(at)loria.fr
Julia Lawall Københavns Universitet julia(at)diku.dk
Xavier Leroy INRIA Rocquencourt Xavier.Leroy(at)inria.fr
Paul Levy University of Birmingham pbl(at)cs.bham.ac.uk
Fredrik Lindblad Chalmers Tekniska Högskola f92frli(at)dd.chalmers.se
Sam Lindley University of Edinburgh Sam.Lindley(at)ed.ac.uk
Tobias Löw Technische Universität Darmstadt loew(at)mathematik.tu-darmstadt.de
Kenneth MacKenzie University of Edinburgh kwxm(at)dcs.ed.ac.uk
Sergio Maffeis Imperial College maffeis(at)doc.ic.ac.uk
Jean-Yves Marion LORIA - École des Mines de Nancy Jean-Yves.Marion(at)loria.fr
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
Rustam Novikov Küberneetika Instituut rustam(at)cs.ioc.ee
David von Oheimb Siemens Corporate Technology David.von.Oheimb(at)siemens.com
Matthew Parkinson University of Cambridge Matthew.Parkinson(at)cl.cam.ac.uk
Jaan Penjam Küberneetika Instituut jaan(at)cs.ioc.ee
David Pichardie IRISA david.pichardie(at)irisa.fr
Randy Pollack University of Edinburgh rap(at)inf.ed.ac.uk
Sriram Rajamani Microsoft Research sriram(at)microsoft.com
Antonio Ravara Universidade Técnica de Lisboa aravara(at)ist.utl.pt
Uday Reddy University of Birmingham U.Reddy(at)cs.bham.ac.uk
Didier Rémy INRIA Rocquencourt Didier.Remy(at)inria.fr
Tamara Rezk INRIA Sophia Antipolis trezk(at)sophia.inria.fr
Eike Ritter University of Birmingham E.Ritter(at)cs.bham.ac.uk
Ando Saabas Küberneetika Instituut ando(at)cs.ioc.ee
João Saraiva Universidade do Minho jas(at)di.uminho.pt
Lucy Saunders-Evans University of Cambridge ls275(at)cl.cam.ac.uk
Helmut Schwichtenberg Ludwig-Maximilians-Universität München schwicht(at)mathematik.uni-muenchen.de
Andrei Serjantov University of Cambridge aas23(at)cl.cam.ac.uk
Peter Sewell University of Cambridge Peter.Sewell(at)cl.cam.ac.uk
Mark Shinwell University of Cambridge mrs30(at)cam.ac.uk
Olha Shkaravska Ludwig-Maximilians-Universität München shkarav(at)tcs.informatik.uni-muenchen.de
Jeremy Singer University of Cambridge Jeremy.Singer(at)cl.cam.ac.uk
Gareth Stoyle University of Cambridge Gareth.Stoyle(at)cl.cam.ac.uk
Thomas Streicher Technische Universität Darmstadt streicher(at)mathematik.tu-darmstadt.de
Kristian Støvring Sørensen Aarhus Universitet kss(at)brics.dk
Paul Taylor University of Manchester pt(at)cs.man.ac.uk
Enn Tõugu Küberneetika Instituut tyugu(at)ieee.org
Tarmo Uustalu Küberneetika Instituut tarmo(at)cs.ioc.ee
Margus Veanes Microsoft Research margus(at)microsoft.com
Varmo Vene Tartu Ülikool varmo(at)cs.ut.ee
Vesal Vojdani Tartu Ülikool vesal(at)cs.ut.ee
Philip Wadler University of Edinburgh wadler(at)inf.ed.ac.uk
David Wahlstedt Chalmers Tekniska Högskola davidw(at)cs.chalmers.se
Nicholas Wolverson University of Edinburgh N.Wolverson(at)ed.ac.uk
Alisdair Wren University of Cambridge aw345(at)cl.cam.ac.uk

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