[mizar] Call for software demonstration at the MathUI workshop

[Paul Libbrecht <paul@activemath.org>]

  :please distribute:


  Call for Software Demonstrations
  --------------------------------
  at the Mathematical User Interfaces Workshop

  Sept 18th 2004, Bialowezia, Poland
  before the Third Mathematical Knowledge Management Conference


 The workshop will host a one-hour session
 of software demonstration.
 Interested contributors are requested follow instructions at:

   http://www.activemath.org/~paul/MathUI/