Directory: Top/Computers/Computer_Science/Conferences/2002

Top / Computers / Computer_Science / Conferences / 2002 /

Eurocrypt 2002
21st Annual International Conference on the Theory and Applications of Cryptographic Techniques. Amsterdam, The Netherlands; 28 April – 2 May 2002.
http://www.ec2002.tue.nl
Tue.nl ~ Site Info Whois Trace Route RBL Check

FORTE 2002
22nd International Conference on Formal Techniques for Networked and Distributed Systems. Houston, Texas, USA; 11–14 November 2002.
http://www.cs.rice.edu/FORTE02/
Rice.edu ~ Site Info Whois Trace Route RBL Check

CADE-18
Conference on Automated Deduction. Part of the Federated Logic Conference (FLoC'02). Copenhagen, Denmark; 27–30 July 2002.
http://floc02.diku.dk/CADE/
Diku.dk ~ Site Info Whois Trace Route RBL Check

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.
http://www2.cs.unibw.de/conf/GTVMT02/
Unibw.de ~ Site Info Whois Trace Route RBL Check

HCC '02
IEEE Symposium on Human-Centric Computing Languages and Environments. Arlington, Virginia, USA; 3–6 September 2002.
http://www2.cs.unibw.de/conf/HCC02/
Unibw.de ~ Site Info Whois Trace Route RBL Check

TRICS '02
Techniques for Implementing Constraint programming Systems. Cornell, Ithaca, New York, USA; 8 September 2002.
http://web.it.kth.se/~cschulte/trics2002/
Kth.se ~ Site Info Whois Trace Route RBL Check

PLI 2002
Principles, Logics, and Implementations of high-level programming languages. Pittsburgh, PA, USA; 3–8 October 2002.
http://pli2002.cs.brown.edu
Brown.edu ~ Site Info Whois Trace Route RBL Check

MPSOC'02
Summer School, Application-Specific Multi-Processor System On Chip. Château de Pizay, France; 8--12 July 2002.
http://www.mpsoc-forum.org/2002/
Mpsoc-forum.org ~ Site Info Whois Trace Route RBL Check