MNW Directory - Computers - Computer Science: Conferences: 2002

ADHOC-NOW - AD-HOC NetwOrks and Wireless. Fields Institute, Toronto, Canada; 20--21 September 2002.

ARACNE2002 - 3rd Workshop on Approximation and Randomization Algorithms in Communication NEtworks. Rome, Italy; 21 September 2002.

CADE-18 - Conference on Automated Deduction. Part of the Federated Logic Conference (FLoC'02). Copenhagen, Denmark; 27-30 July 2002.

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

CNDS 2002 - Communication Networks and Distributed Systems Modeling and Simulation Conference. Part of the 2002 SCS Western Multiconference on Computer Simulation. San Antonio, Texas, USA; 27--31 January 2002.

CP2002 - Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002.

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

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

EDDC-4 - Fourth European Dependable Computing Conference. Parc des Expositions, Toulouse, France; 23--25 October 2002.

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

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

European Wireless 2002 - International conference - next generation wireless networks: technologies, protocols, services and applications. Florence, Italy; 25--28 February 2002.

FICS 2002 - Fixed Points In Computer Science. Affiliated with LICS 2002. Copenhagen, Denmark; 20--21 July 2002.

FORTE 2002 - 22nd International Conference on Formal Techniques for Networked and Distributed Systems. Houston, Texas, USA; 11-14 November 2002.

GETCO 2002 - GEometric and Topological methods in COncurrency and distributed systems theory. A satellite workshop to DISCO'02. ENSEEIHT, Toulouse, France; 30--31 October 2002.

GT-VMT '02 - International Workshop on Graph Transformation and Visual Modeling Techniques. A satellite event of the First International Conference on Graph Transformation (ICGT 2002). Barcelona, Spain; 11-12 October 2002.

HCC '02 - IEEE Symposium on Human-Centric Computing Languages and Environments. Arlington, Virginia, USA; 3-6 September 2002.

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

ICCS 2002 - 10th International Conference on Conceptual Structures. Borovets, Bulgaria; 15--19 July 2002.

ICNP 2002 - 10th IEEE International Conference on Network Protocols. Paris, France; 12--15 November 2002.

ISM '02 - Fifth International Conference on Information Systems Modelling. Roznov pod Radhostem, Czech Republic, April 22 - 24, 2002.

MM02 - ACM Multimedia 2002. Juan-les-Pins, France; 1--6 December 2002.

MPSOC'02 - Summer School, Application-Specific Multi-Processor System On Chip. Château de Pizay, France; 8--12 July 2002.

Networks 2002 - Atlanta, Georgia, USA; 26--29 August 2002.

ONDM 2002 - Optical Network Design and Modelling. Torino, Italy; 4--6 February 2002.

PEPM'02 - ACM SIGPLAN Workshop on Partial Evaluation and Semantics-Based Program Manipulation. Preceding POPL'02. Portland, Oregon, USA; 14--15 January 2002.

Pervasive 2002 - International Conference on Pervasive Computing. Organized by IBM Research and ETH Zurich. Zurich, Switzerland; 26--28 August 2002.

PLDI 2002 - ACM SIGPLAN Conference on Programming Language Design and Implementation. Berlin, Germany; 17--19 June 2002.

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

Policy 2002 - 3rd International Workshop on Policies for Distributed Systems and Networks. Monterey, CA, USA; 5--7 June 2002.

SVR 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.

TRICS '02 - Techniques for Implementing Constraint programming Systems. Cornell, Ithaca, New York, USA; 8 September 2002.

Ubicomp 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.

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

WWWC-5 - 5th Annual IEEE Workshop on Workload Characterization. This one-day workshop will focus on characterizing and understanding modern computer applications, commercial and scientific computing. Austin, Texas, USA; 25 November 2002.