F.Rademakers spoke about the framework status. J.Chudoba asked whether
Proof could be used both for  interactive and batch jobs.  It could be
used since the  load is dynamic and the result will  not depend on the
slowest  node.   P.Buncic  described  some possible  problems  in  the
simulation related to the fact that our unit is one event.