Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002. http://www.cs.cornell.edu/cp2002/
The 29th Annual ACM SIGPLAN - SIGACT Symposium on Principles of Programming Languages. Portland, Oregon, USA; 16--18 January 2002. http://www.cse.ogi.edu/PacSoft/conf/popl/
The 27th International Symposium on Mathematical Foundations of Computer Science. Warszawa - Otwock, Poland; 26--30 August 2002. http://mfcs.mimuw.edu.pl:9080/
Conference on Computer-Aided Verification, part of the Federated Logic Conference FLoC'02. Copenhagen, Denmark; 27--31 July 31 2002. http://floc02.diku.dk/CAV/
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. http://www.viktoria.se/ubicomp/