"Representation of mathematical knowledge"

Tentatively confirmed attendees:

• David Barker-Plummer, Stanford University, CA, USA:
  "The Use of Mathematical Diagrams in Automated Reasoning: Experience with the GROVER Graphical Theorem Proving System."

• Bernd Ingo Dahn, HU Berlin, Germany:
  "Presenting Computer Generated Proofs - Problems and Chances."

• Elmar Eder, Universitaet Salzburg, Austria:
  "The role of definition and concept building in formal logical systems for mathematics."

• Edmund Furse, University of Glamorgan, UK:
  "FEL (and if desired its usage by MU/HAL)."

• Randall Holmes, Boise State University, ID, USA.

• Karsten Homann, Universitaet Karlsruhe, Germany:
  "Which representation and communication languages are suitable for cooperative mathematical problem solving?"

• Christian Horn, FH Furtwangen, Germany:
  "Experience with AI approaches in lecturing undergraduate mathematics."

• Manfred Kerber, University of Birmingham, UK.

• Herbert Stoyan, Universitaet Erlangen-Nuernberg, Germany:
  "What is formalization, how/what should be formalized?"

• Martin Strecker, Universitaet Ulm, Germany.

• Tatyana Yakhno, Institute of Systems Informatic, Novosibirsk, Russia:
  "Subdefinite Models: the Way to Describe and Solve Mathematical Problems."