July

Computer aided verification: 14th international conference,CAV 2002,Copenhagen,Denmark,July 27-31,2002:proceedings

Computer Vision Systems: 2nd international workshop,ICVS 2001,Vancouver,Canada,July 7-8,2001;proceedings

Networking-ICN 2001: 1st international conference on Networking,Colmar,France,July 9-13,2001;proceedings,Part 1

Logic based program synthesis and transformation: 10th international workshop,LOPSTR 2000 London,UK,July 24-28,2000

Networking-ICN 2001: 1st international conference on Networking,Colmar,France,July 9-13,2001;proceedings

Automata,languages and programming: 28th international colloquium,ICALP 2001,Crete,Greece,July 8-12,2001;proceedings

Information security and privacy: 6th Australasian conference,ACISP 2001,Sydney,Australia,July 11-13,2001;proceedings

Advances in databases: 18th British National Conference on Databases,BNCOD 18,Chilton UK ,July 9-11,2001;proceedings

Multiple classifier systems: 2nd international workshop,MCS 2001,Cambridge,UK,July 2-4,2001;proceedings

Scale-space and morphology in computer vision: 3rd international conference,Scale-Space 2001,Vancouver,Canada,July 7-8,2001;proceddings