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.
COCV 2002
International Workshop on Compiler Optimization Meets Compiler Verification. In conjunction with the 5th European Joint Conferences on Theory and Practice of Software (ETAPS 2002). Grenoble, France; 13 April 2002.
CP2002
Eighth International Conference on Principles and Practice of Constraint Programming. Cornell University, Ithaca, NY, USA; 8--13 September 2002.
CSIT 2002
4th International Workshop on Computer Science and Information Technologies. Patras, Greece; 18--20 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.
DIALM'2002
Sixth International Workshop on Discrete Algorithms and Methods for Mobile Computing and Communications. Co-located with ACM MobiCom 2002. Atlanta, Georgia, USA; 28 September 2002.
EDDC-4
Fourth European Dependable Computing Conference. Parc des Expositions, Toulouse, France; 23--25 October 2002.
ER 2002
21st International Conference on Conceptual Modelling. Tampere, Finland; 7--11 October 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.
FOCS 2002
The 43rd Annual IEEE Symposium on Foundations of Computer Science. Vancouver, Canada; 16--19 November 2002.
FoIKS 2002
Second International Symposium on Foundations of Information and Knowledge Systems. Schloß Salzau (near Kiel), Germany; 19--23 February 2002.
FORTE 2002
22nd IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems. Houston, Texas, USA; 11--14 November 2002.
FTRTFT 2002
7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. University of Oldenburg, Germany; 9--12 September 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.
Results: Previous 1 2 3 4 5 6 7 8 9 10 Next
Site
Menu 
