GI-Forschungsseminar
Beweisverifikation und Approximationsalgorithmen

Name	Email
Artur Andrzejak	artur@inf.ethz.ch
Clemens Gröpl	groepl@informatik.hu-berlin.de
Dr. Volker Heun	heun@informatik.tu-muenchen.de
Dr. Thomas Hofmeister	hofmeist@ls2.informatik.uni-dortmund.de
Dr. Stefan Hougardy	hougardy@informatik.hu-berlin.de
Dr. Martin Hühne	huehne@ls2.informatik.uni-dortmund.de
Thomas Jansen	jansen@ls2.informatik.uni-dortmund.de
Richard Mayr	mayrri@informatik.tu-muenchen.de
Wolfgang Merkle	merkle@math.uni-heidelberg.de
Dr. Martin Mundhenk	mundhenk@ti.uni-trier.de
Claus Rick	rick@cs.uni-bonn.de
Hein Röhrig	roehrig@mpi-sb.mpg.de
Annette Schelten	schelten@math.tu-cottbus.de
Dr. Sebastian Seibert	seibert@I1.Informatik.RWTH-Aachen.DE
Dr. Detlef Sieling	sieling@ls2.informatik.uni-dortmund.de
Dr. Anna Slobodová	anna@ti.uni-trier.de
Martin Skutella	skutella@math.tu-berlin.de
Ulrich Weigand	weigand@informatik.uni-erlangen.de
Dr. Thomas Wilke	tw@informatik.uni-kiel.de
Katja Wolf	kwolf@informatik.uni-koeln.de
Alexander Wolff	awolff@inf.fu-berlin.de

Volker Heun, 1997-04-18