Design, specification, verification of interactive systems: an international workshop sponsored by EUROGRAPHICS, ERCIM and CNUCE-CNR

The workshop was held in the Monastery of the Holy Cross, run by monks of the Carmelite Order. It was attended by 32 delegates from 11 European and American countries. Most participants came from universities or public research institutes and some from industry. Twenty papers were selected for the final program from 32 submissions. Ten of them were presented, the other ten were considered in the discussion sessions of the workshop as its aim was to promote discussion rather than paper presentation.