next up previous contents
Next: Visitors: Leeds Up: Small Visits and Previous: Visitors: Uppsala

Visits: Kent

 

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)



Bernhard Moeller
Fri May 12 14:21:20 MET DST 1995