K Hanna attended and spoke on type-theory-based formal verification at the EUROFORM Esprit project (France, Sept 94); attended a meeting of the MHDL study group (USA, June 94); and attended the NADA workshop meeting (Madrid, Oct 94: see §2.2)