Eleventh International World Wide Web Conference. Honolulu, Hawaii, USA 7-11 May 2002. Papers and schedules.

Metadata for e-Communities: Supporting Diversity and Convergence. Florence, Italy; 13--17 October 2002.

The Fourth International Conference on Ubiquitous Computing. All areas relating to the design, implementation, application and evaluation of ubiquitous computing technologies. Goteborg, Sweden; 29 September -- 1 October 2002.

21st Annual International Conference on the Theory and Applications of Cryptographic Techniques. Amsterdam, The Netherlands; 28 April - 2 May 2002.

Annual Conference of the European Association for Computer Science Logic. Edinburgh, Scotland, UK; 22--25 September 2002.

Conference on Computer-Aided Verification, part of the Federated Logic Conference FLoC'02. Copenhagen, Denmark; 27--31 July 31 2002.

Second summer school organized by Turku Centre for Computer Science (TUCS) together with European educational Forum (EEF) on the topics of Specification, Refinement and Verification. Turku, Finland; 19--30 August 2002.

University of Maryland, USA; 11--15 June 2002.

Principles, Logics, and Implementations of high-level programming languages. Pittsburgh, PA, USA; 3-8 October 2002.

The annual conference of the European Association for Computer Graphics. Saarbruecken, Germany; 2--6 September 2002.