UNIF 2002 List of Participants

Franz Baader
Iliano Cervesato
Hubert Comon
Evelyne Contejean
Silvio Ghilardi
Guillem Godoy Balil
Makoto Hamana
Claude Kirchner
Michael Kohlhase
Jordi Levy
Christopher Lynch
Aart Middeldorp
Benjamin Monate
Barbara Morawska
Quang Huy Nguyen
Joachim Niehren
Hitoshi Ohsaki
Silvio Ranise
Christophe Ringeissen
Christelle Scharff
Manfred Schmidt-Schauss
Toshinori Takai
Jean-Marc Talbot
Cesare Tinelli
Sophie Tison
Ashish Tiwari
Yoshihito Toyama
Ralf Treinen
Rakesh Verma
Mateu Villaret


[Past UNIF meetings] [UNIF main page]
Ralf Treinen
September 2, 2002