Conference on Automated Deduction. Part of the Federated Logic Conference (FLoC'02). Copenhagen, Denmark; 27--30 July 2002. http://www.uni-koblenz.de/~cade-18/
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. http://sunshine.cs.uni-dortmund.de/~knoop/cocv02.html
GEometric and Topological methods in COncurrency and distributed systems theory. A satellite workshop to DISCO'02. ENSEEIHT, Toulouse, France; 30--31 October 2002. http://www.di.ens.fr/~goubault/getco02cfp.html
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. http://www.ece.utexas.edu/~ljohn/wwc
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. http://www.ece.neu.edu/conf/CNDS/2002/
7th International Symposium on Formal Techniques in Real-Time and Fault Tolerant Systems. University of Oldenburg, Germany; 9--12 September 2002. http://www.informatik.uni-oldenburg.de/ftrtft02
Add URL
My Sites
My Account
Contact Us