Notes from Conferences Attended

• ASYNC 2002 (Main conference web page)

  This is the 8^th International Symposium on Asynchronous Circuits and Systems, held in Manchester on 8-11 April 2002.

• AVoCS'02 (Main conference web page)

  This is the 2^nd Workshop on Automated Verification of Critical Systems, held in Birmingham on 15-16 April 2002

Donal K. Fellows, Computer Science, University of Manchester, U.K.