UNIF'90 Preliminary List of Participants

Franz Baader, Kaiserslautern,
Marci Bellia, Naples,
J.C.Biccaregui, Rutheford-Appleton,
Alexandre Boudet, Orsay, Paris,
Edmund Burke, Leeds,
Timothy Clement, Manchester,
Marshall Cline, Clarkson, Potsdam,
Anthony Cohn, Leeds,
Hubert Comon, Orsay, Paris,
Evelyne Contejean, Orsay, Paris,
Bertrand Delsart, LIFIA, Grenoble,
Eric Domenjoud, Nancy,
Daniel J Dougherty, Wesleyan,
Thomas Filkorn, Munich,
Alan Frisch, Urbana,
Y-Ke Guo, Imperial College, London,
Michael Hanus, Dortmund,
Alexander Herold, Munich,
Jean-Louis Imbert, Luminy, Marseille,
Jean-Pierre Jouannaud, Orsay, Paris,
Claude Kirchner, Nancy,
Helene Kirchner, Nancy,
Carron Kirkwood, Glasgow,
Francis Klay, Nancy,
Michael Kohlhase, Kaiserslautern,
Sentot Kromodimoeljo, Ottawa,
Hans Leiss, Munich,
Suresh Manandhar, Edinburgh,
Ursula Martin, RHBNC, London,
Brian Matthews, Rutherford-Appleton,
Catherine Meadows, Washington,
Stefan Momma, Stuttgart,
Andy Mueck, Passau,
Tobias Nipkow, Cambridge,
Maria Eugenia Occhutio, Pisa,
Ross Paterson, Imperial College, London,
Andrew Podelski, Paris,
Zhenyu Qian, Bremen,
Pierre Rety, Orleans,
Christophe Ringeissen, Nancy,
William Rounds, Michigan,
Klaus Schulz, Tubingen,
J H Siekmann, Kaiserslautern,
Stephen Slebarski, Leeds,
Konrad Slind, Calgary,
Wayne Snyder, Boston,
John Stell, Keele,
Ralf Treinen, Saarbrücken,
John Truss, Leeds,
Stefan Uhrig, Saarbrücken,
Patrick Viry, Nancy,
Philip Watson, Glasgow,
William West, QMW, London,
James G Williams, Mitre.

[Past UNIF meetings] [UNIF main page]

This page compiled from material provided by John Truss.

Ralf Treinen

December 6, 2000