CAV'98 International Conference on Computer-Aided Verification. University of British Columbia, Vancouver, BC, Canada; 28 June -- 2 July 1998. http://www.cs.ubc.ca/spider/ajh/cav98.html

COMAD 2000 The Tenth International Conference on Management of Data. Pune, India, 14 - 16 December, 2000. http://www.cse.iitb.ac.in/dbms/comad2000/