"Representation of mathematical knowledge"

Chief-organizer:

• Herbert Stoyan,
  Lehrstuhl Informatik VIII (KI),
  FAU Erlangen-Nuernberg,
  Am Weichselgarten 9,
  91058 Tennenlohe,
  e-mail: hstoyan@immd8.informatik.uni-erlangen.de

• Karsten Homann,
  Institut fuer Algorithmen und Kognitive Systeme,
  Universitaet Karlsruhe,
  76131 Karlsruhe,
  e-mail: homann@ira.uka.de

• Sabine Jacob,
  Lehrstuhl Informatik VIII (KI),
  FAU Erlangen-Nuernberg,
  Am Weichselgarten 9,
  91058 Tennenlohe,
  e-mail: jacob@immd8.informatik.uni-erlangen.de

• Manfred Kerber,
  School of Computer Science,
  The University of Birmingham,
  Edgbaston, Birmingham B15 2TT, England,
  e-mail: mmk@cs.bham.ac.uk